summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-20 18:09:35 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-20 18:09:35 +0100
commit36b9264cc8eedcc6f4d3f8499b3d627e4ffae52b (patch)
treeecebd53849f7f5e9d8d96bbe91cd60d7cf98d706 /.gitignore
parent046606ce1f33c0a2b2955df6ca7dc8b56985d4f0 (diff)
Make an heavy use of Makefile variables
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore29
1 files changed, 15 insertions, 14 deletions
diff --git a/.gitignore b/.gitignore
index f573e80..3abf58b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,25 +11,26 @@ 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
-site/posts.html
+soupault.conf
site/news/ColorlessThemes-0.2.html
-site/posts/meta/Contents.html
-site/posts/meta/Bootstrap.html
-site/posts/meta/Soupault.html
-site/posts/Thanks.html
site/posts/meta.html
-site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/DiscoveringCommonLisp.html
site/posts/MonadTransformers.html
-site/posts/StronglySpecifiedFunctionsProgram.html
-site/posts/MiniHTTPServer.html
-site/posts/StronglySpecifiedFunctions.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
-bootstrap.mk
-org.mk
-coq.mk
-scripts/tangle-org.el
-scripts/export-org.el
+site/posts/StronglySpecifiedFunctionsProgram.html
+site/posts/MiniHTTPServer.html
# begin generated files