summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-20 22:58:42 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-20 22:58:42 +0100
commitb3a30963af918d1d4edf03ac67ba44089c1a5417 (patch)
tree4321e74abe8f1df724848162df9d264b36e15415 /.gitignore
parent36b9264cc8eedcc6f4d3f8499b3d627e4ffae52b (diff)
Adopt a literate programming for `main.sass'
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore39
1 files changed, 23 insertions, 16 deletions
diff --git a/.gitignore b/.gitignore
index 3abf58b..96e87b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,26 +11,33 @@ node_modules/
package-lock.json
# begin generated files
-scripts/tangle-org.el
-bootstrap.mk
-scripts/export-org.el
-org.mk
-coq.mk
-site/style/main.css
-soupault.conf
+site/posts.html
site/news/ColorlessThemes-0.2.html
+site/posts/meta/Contents.html
+site/posts/meta/Bootstrap.html
+site/posts/meta/Theme.html
+site/posts/meta/Soupault.html
+site/posts/Thanks.html
site/posts/meta.html
-site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/DiscoveringCommonLisp.html
+site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
-site/posts/meta/Soupault.html
-site/posts/meta/Bootstrap.html
-site/posts/meta/Contents.html
-site/posts/Thanks.html
-site/posts.html
-site/posts/RewritingInCoq.html
-site/posts/StronglySpecifiedFunctions.html
-site/posts/Ltac101.html
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
+site/posts/StronglySpecifiedFunctions.html
+site/posts/RewritingInCoq.html
+site/posts/Ltac101.html
+site/style/main.css
+scripts/tangle-org.el
+bootstrap.mk
+scripts/export-org.el
+org.mk
+coq.mk
+sass.mk
+soupault.conf
+site/style/org.sass
+site/style/coq.sass
+site/style/main.sass
+site/style/org.sass
+site/style/coq.sass
# begin generated files