summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-19 10:58:12 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-19 11:43:45 +0100
commit2b78fd32196a5193dd1932c06d89aeb004f84afd (patch)
treeeda5516d71265028c8781fc76c7175ed932a7b37 /.gitignore
parent50c03e1fca30bc68c33ce18f3bde01948c56c119 (diff)
Initiate a literate programming approach for the Makefile rules
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore19
1 files changed, 11 insertions, 8 deletions
diff --git a/.gitignore b/.gitignore
index d03deed..6472c52 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,17 +11,20 @@ node_modules/
package-lock.json
# begin generated files
-site/posts.html
+site/style/main.css
site/news/ColorlessThemes-0.2.html
-site/posts/Thanks.html
-site/posts/SoupaultConfiguration.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/Contents.html
+site/posts/Thanks.html
+site/posts.html
site/posts/RewritingInCoq.html
+site/posts/StronglySpecifiedFunctions.html
site/posts/Ltac101.html
-site/style/main.css
+site/posts/StronglySpecifiedFunctionsProgram.html
+site/posts/MiniHTTPServer.html
+org.mk
+coq.mk
# begin generated files