summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-23 14:33:47 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-23 14:33:47 +0100
commitaa6de8b45eef617afefbb4cb7abdef392bdfbbbd (patch)
treeb14226d788729bad7258436b0ad7a961e0625c67 /.gitignore
parentfbe5ef4028dc61ce28026e66e64ddfcdfcc6f6ec (diff)
Polish cleopatra
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore10
1 files changed, 6 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index cce3386..55a021d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,30 +16,32 @@ site/posts/MiniHTTPServer.html
site/posts/StronglySpecifiedFunctions.html
site/posts/RewritingInCoq.html
site/posts/Ltac101.html
-site/posts.html
site/news/ColorlessThemes-0.2.html
site/posts/meta/Contents.html
+site/posts/meta/index.html
site/posts/meta/Bootstrap.html
site/posts/meta/Theme.html
site/posts/meta/Soupault.html
site/posts/meta/Contents/Org.html
site/posts/meta/Contents/Coq.html
site/posts/Thanks.html
-site/posts/meta.html
+site/posts/index.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
-site/style/main.css
soupault.conf
+site/style/main.css
+templates/main.html
bootstrap.mk
scripts/update-gitignore.sh
coq.mk
org.mk
scripts/export-org.el
emacs.d
+soupault.conf
theme.mk
+templates/main.html
site/style/main.sass
-soupault.conf
site/style/coq.sass
site/style/coq.sass
site/style/org.sass