diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-19 16:19:00 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-19 16:19:00 +0100 |
commit | 06809e86a9805f237aa8ce2c6f1a676db2130e97 (patch) | |
tree | d306e69127a99f516c760047aa5d4696eab294ba /.gitignore | |
parent | Initiate a literate programming approach for the Makefile rules (diff) |
Various improvement in the content generation process
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 16 |
1 files changed, 8 insertions, 8 deletions
@@ -12,19 +12,19 @@ package-lock.json # begin generated files site/style/main.css +site/posts.html site/news/ColorlessThemes-0.2.html -site/posts/ExtensibleTypeSafeErrorHandling.html -site/posts/DiscoveringCommonLisp.html -site/posts/MonadTransformers.html -site/posts/meta/Soupault.html site/posts/meta/Contents.html +site/posts/meta/Soupault.html site/posts/Thanks.html -site/posts.html -site/posts/RewritingInCoq.html -site/posts/StronglySpecifiedFunctions.html -site/posts/Ltac101.html +site/posts/DiscoveringCommonLisp.html +site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/MonadTransformers.html site/posts/StronglySpecifiedFunctionsProgram.html site/posts/MiniHTTPServer.html +site/posts/StronglySpecifiedFunctions.html +site/posts/RewritingInCoq.html +site/posts/Ltac101.html org.mk coq.mk # begin generated files |