From 5945bc80300f5504403ffe533dc60bfc95762695 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Wed, 26 Feb 2020 19:16:22 +0100
Subject: Introduce a notion of dependency between generation processes

The chain of generation processes is now divided into three
well-identified stages. The order of definition of generation
processes is no longer important.
---
 .gitignore | 73 +++++++++++++++++++++++++++++++-------------------------------
 1 file changed, 36 insertions(+), 37 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index e0222e8..85ba743 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,57 +1,56 @@
+
+# begin generated files
+build.log
+site/style/main.css
+site/style/main.sass
 build/
-.lia.cache
-*.vos
-*.vok
 *.vo
+*.vok
+*.vos
 .*.aux
 *.glob
-*.html~
-soupault.conf
-
-# begin generated files
-site/posts/StronglySpecifiedFunctionsProgram.html
-site/posts/MiniHTTPServer.html
-site/posts/StronglySpecifiedFunctions.html
+.lia.cache
 site/posts/RewritingInCoq.html
+site/posts/StronglySpecifiedFunctions.html
 site/posts/Ltac101.html
+site/posts/StronglySpecifiedFunctionsProgram.html
+site/posts/MiniHTTPServer.html
 site/news/ColorlessThemes-0.2.html
-site/cleopatra/Contents.html
-site/cleopatra/index.html
-site/cleopatra/Bootstrap.html
 site/cleopatra/Theme.html
 site/cleopatra/Soupault.html
-site/cleopatra/Contents/Org.html
 site/cleopatra/Contents/Coq.html
-site/posts/Thanks.html
-site/posts/index.html
-site/posts/DiscoveringCommonLisp.html
+site/cleopatra/Contents/Org.html
+site/cleopatra/Bootstrap.html
+site/cleopatra/Contents.html
+site/cleopatra/index.html
 site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/DiscoveringCommonLisp.html
 site/posts/MonadTransformers.html
-site/style/main.css
-bootstrap.mk
-scripts/update-gitignore.sh
-coq.mk
-org.mk
-scripts/packages.el
-scripts/export-org.el
+site/posts/Thanks.html
+site/posts/index.html
+*.html~
+theme.mk
+templates/main.html
+site/style/main.sass
+package-lock.json
+node_modules/
 soupault.mk
 soupault.conf
-package.json
-templates/history.html
-plugins/external-urls.lua
 plugins/urls-rewriting.lua
-scripts/katex.js
+plugins/external-urls.lua
+site/style/plugins.sass
 scripts/history.sh
-package-lock.json
-theme.mk
-templates/main.html
+templates/history.html
+package.json
+scripts/katex.js
+coq.mk
+site/style/coq.sass
 .emacs
 emacs.d/
-node_modules/
-site/style/coq.sass
-site/style/coq.sass
+org.mk
+scripts/packages.el
+scripts/export-org.el
 site/style/org.sass
-site/style/plugins.sass
-site/style/main.sass
-build.log
+bootstrap.mk
+scripts/update-gitignore.sh
 # begin generated files
-- 
cgit v1.2.3