From b065628fb1ffa6edf8f35a690931c2d56d26ab3e Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Thu, 27 Aug 2020 15:05:29 +0200
Subject: Simplify the theme

---
 .gitignore | 47 +++++++++++++++++++++++------------------------
 1 file changed, 23 insertions(+), 24 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 2d03d68..3425c78 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,29 +1,29 @@
 
 # begin generated files
 .cleopatra
-coq.mk
 site/style/coq.sass
+coq.mk
 .emacs
+site/style/org.sass
+org.mk
 scripts/export-org.el
 scripts/packages.el
-org.mk
-site/style/org.sass
 package-lock.json
 node_modules/
-soupault.conf
+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
-site/style/plugins.sass
-templates/history.html
-scripts/history.sh
-package.json
-soupault.mk
-katex.mk
-scripts/katex.js
-theme.mk
-templates/main.html
+soupault.conf
 site/style/main.sass
+templates/main.html
+theme.mk
 build.log
 *.vo
 *.vok
@@ -31,26 +31,25 @@ build.log
 .*.aux
 *.glob
 .lia.cache
-site/posts/AlgebraicDatatypes.html
-site/posts/StronglySpecifiedFunctionsProgram.html
-site/posts/MiniHTTPServer.html
-site/posts/ClightIntroduction.html
-site/posts/StronglySpecifiedFunctions.html
 site/posts/RewritingInCoq.html
-site/posts/Ltac101.html
+site/posts/StronglySpecifiedFunctions.html
+site/posts/AlgebraicDatatypes.html
 site/posts/MixingLtacAndGallina.html
-site/index.html
+site/posts/Ltac101.html
+site/posts/ClightIntroduction.html
+site/posts/StronglySpecifiedFunctionsProgram.html
 site/news/ColorlessThemes-0.2.html
 site/cleopatra/soupault.html
-site/cleopatra/theme.html
 site/cleopatra/org.html
 site/cleopatra/coq.html
-site/cleopatra.html
-site/posts/Thanks.html
-site/posts/DiscoveringCommonLisp.html
+site/cleopatra/theme.html
 site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/DiscoveringCommonLisp.html
 site/posts/MonadTransformers.html
 site/posts/CleopatraV1.html
+site/posts/Thanks.html
+site/cleopatra.html
+site/index.html
 build/
 site/style/main.css
 # end generated files
-- 
cgit v1.2.3