From 0117075317c6bf5b87867a18f35f9ccd4b5d6c48 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 13 Dec 2020 15:30:16 +0100
Subject: Benefit from latest cleopatra to get .gitignore content sorted

---
 .gitignore | 160 ++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 80 insertions(+), 80 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 2b1962f..6b2979b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,104 +2,104 @@
 
 # begin generated files
 .cleopatra
-site/style/coq.sass
+.emacs
+.lia.cache
+build.log
+build/
 coq.mk
 export-lp.el
+katex.mk
 literate-programming.mk
-.emacs
-site/style/org.sass
+lp/
+node_modules/
 org.mk
-scripts/export-org.el
-scripts/packages.el
 package-lock.json
-node_modules/
-scripts/katex.js
-soupault.mk
-katex.mk
 package.json
-scripts/history.sh
-templates/history.html
-site/style/plugins.sass
 plugins/external-urls.lua
-plugins/urls-rewriting.lua
 plugins/fix-org-urls.lua
-soupault.conf
-theme.mk
-site/style/main.sass
-templates/main.html
-build.log
+plugins/urls-rewriting.lua
+scripts/export-org.el
+scripts/history.sh
+scripts/katex.js
+scripts/packages.el
+site/cleopatra.html
+site/cleopatra/coq.html
+site/cleopatra/literate-programming.html
+site/cleopatra/org.html
+site/cleopatra/soupault.html
+site/cleopatra/theme.html
+site/files/coqffi-tutorial.tar.gz
+site/index.html
+site/news/ColorlessThemes-0.2.html
+site/opinions/MonadTransformers.html
+site/opinions/index.html
+site/posts/.AlgebraicDatatypes.aux
+site/posts/.ClightIntroduction.aux
+site/posts/.LtacMetaprogramming.aux
+site/posts/.LtacPatternMatching.aux
+site/posts/.MixingLtacAndGallina.aux
+site/posts/.RewritingInCoq.aux
+site/posts/.StronglySpecifiedFunctionsProgram.aux
+site/posts/.StronglySpecifiedFunctionsRefine.aux
+site/posts/AlgebraicDatatypes.glob
+site/posts/AlgebraicDatatypes.html
 site/posts/AlgebraicDatatypes.vo
-site/posts/StronglySpecifiedFunctionsProgram.vo
-site/posts/LtacPatternMatching.vo
-site/posts/ClightIntroduction.vo
-site/posts/StronglySpecifiedFunctionsRefine.vo
-site/posts/RewritingInCoq.vo
-site/posts/LtacMetaprogramming.vo
-site/posts/MixingLtacAndGallina.vo
 site/posts/AlgebraicDatatypes.vok
-site/posts/StronglySpecifiedFunctionsProgram.vok
-site/posts/LtacPatternMatching.vok
-site/posts/ClightIntroduction.vok
-site/posts/StronglySpecifiedFunctionsRefine.vok
-site/posts/RewritingInCoq.vok
-site/posts/LtacMetaprogramming.vok
-site/posts/MixingLtacAndGallina.vok
 site/posts/AlgebraicDatatypes.vos
-site/posts/StronglySpecifiedFunctionsProgram.vos
-site/posts/LtacPatternMatching.vos
+site/posts/CleopatraV1.html
+site/posts/ClightIntroduction.glob
+site/posts/ClightIntroduction.html
+site/posts/ClightIntroduction.vo
+site/posts/ClightIntroduction.vok
 site/posts/ClightIntroduction.vos
-site/posts/StronglySpecifiedFunctionsRefine.vos
-site/posts/RewritingInCoq.vos
+site/posts/Coqffi.html
+site/posts/CoqffiEcho.html
+site/posts/CoqffiIntro.html
+site/posts/DiscoveringCommonLisp.html
+site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/Ltac.html
+site/posts/LtacMetaprogramming.glob
+site/posts/LtacMetaprogramming.html
+site/posts/LtacMetaprogramming.vo
+site/posts/LtacMetaprogramming.vok
 site/posts/LtacMetaprogramming.vos
-site/posts/MixingLtacAndGallina.vos
-site/posts/AlgebraicDatatypes.glob
-site/posts/StronglySpecifiedFunctionsProgram.glob
 site/posts/LtacPatternMatching.glob
-site/posts/ClightIntroduction.glob
-site/posts/StronglySpecifiedFunctionsRefine.glob
-site/posts/RewritingInCoq.glob
-site/posts/LtacMetaprogramming.glob
+site/posts/LtacPatternMatching.html
+site/posts/LtacPatternMatching.vo
+site/posts/LtacPatternMatching.vok
+site/posts/LtacPatternMatching.vos
 site/posts/MixingLtacAndGallina.glob
-site/posts/.AlgebraicDatatypes.aux
-site/posts/.StronglySpecifiedFunctionsProgram.aux
-site/posts/.LtacPatternMatching.aux
-site/posts/.ClightIntroduction.aux
-site/posts/.StronglySpecifiedFunctionsRefine.aux
-site/posts/.RewritingInCoq.aux
-site/posts/.LtacMetaprogramming.aux
-site/posts/.MixingLtacAndGallina.aux
-.lia.cache
-site/posts/AlgebraicDatatypes.html
+site/posts/MixingLtacAndGallina.html
+site/posts/MixingLtacAndGallina.vo
+site/posts/MixingLtacAndGallina.vok
+site/posts/MixingLtacAndGallina.vos
+site/posts/RewritingInCoq.glob
+site/posts/RewritingInCoq.html
+site/posts/RewritingInCoq.vo
+site/posts/RewritingInCoq.vok
+site/posts/RewritingInCoq.vos
+site/posts/StronglySpecifiedFunctions.html
+site/posts/StronglySpecifiedFunctionsProgram.glob
 site/posts/StronglySpecifiedFunctionsProgram.html
-site/posts/LtacPatternMatching.html
-site/posts/ClightIntroduction.html
+site/posts/StronglySpecifiedFunctionsProgram.vo
+site/posts/StronglySpecifiedFunctionsProgram.vok
+site/posts/StronglySpecifiedFunctionsProgram.vos
+site/posts/StronglySpecifiedFunctionsRefine.glob
 site/posts/StronglySpecifiedFunctionsRefine.html
-site/posts/RewritingInCoq.html
-site/posts/LtacMetaprogramming.html
-site/posts/MixingLtacAndGallina.html
-lp/
-site/files/coqffi-tutorial.tar.gz
+site/posts/StronglySpecifiedFunctionsRefine.vo
+site/posts/StronglySpecifiedFunctionsRefine.vok
+site/posts/StronglySpecifiedFunctionsRefine.vos
+site/posts/Thanks.html
 site/posts/deps.svg
-site/opinions/index.html
-site/opinions/MonadTransformers.html
-site/index.html
-site/news/ColorlessThemes-0.2.html
-site/cleopatra/soupault.html
-site/cleopatra/theme.html
-site/cleopatra/literate-programming.html
-site/cleopatra/org.html
-site/cleopatra/coq.html
-site/cleopatra.html
 site/projects/index.html
-site/posts/Thanks.html
-site/posts/Coqffi.html
-site/posts/DiscoveringCommonLisp.html
-site/posts/StronglySpecifiedFunctions.html
-site/posts/ExtensibleTypeSafeErrorHandling.html
-site/posts/CleopatraV1.html
-site/posts/Ltac.html
-site/posts/CoqffiEcho.html
-site/posts/CoqffiIntro.html
-build/
+site/style/coq.sass
 site/style/main.css
+site/style/main.sass
+site/style/org.sass
+site/style/plugins.sass
+soupault.conf
+soupault.mk
+templates/history.html
+templates/main.html
+theme.mk
 # end generated files
-- 
cgit v1.2.3