diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-20 22:58:42 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-20 22:58:42 +0100 |
| commit | b3a30963af918d1d4edf03ac67ba44089c1a5417 (patch) | |
| tree | 4321e74abe8f1df724848162df9d264b36e15415 /.gitignore | |
| parent | Make an heavy use of Makefile variables (diff) | |
Adopt a literate programming for `main.sass'
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 39 |
1 files changed, 23 insertions, 16 deletions
@@ -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 |