summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-22 14:34:21 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-22 14:41:03 +0100
commitdae198a981becb270f62a817f2406f23481dc1b0 (patch)
tree2df7ccb6fedbc255d3c5a233cd859179339ed062 /.gitignore
parenteb538197074b32679beb91019d91be7825290393 (diff)
Provide a generic and reliable way to extends cleopatra
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore25
1 files changed, 14 insertions, 11 deletions
diff --git a/.gitignore b/.gitignore
index 00c3b4c..3e485c5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,33 +11,36 @@ node_modules/
package-lock.json
# begin generated files
+site/posts/StronglySpecifiedFunctionsProgram.html
+site/posts/MiniHTTPServer.html
+site/posts/StronglySpecifiedFunctions.html
+site/posts/RewritingInCoq.html
+site/posts/Ltac101.html
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/meta/Contents/Org.html
+site/posts/meta/Contents/Coq.html
site/posts/Thanks.html
site/posts/meta.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
site/style/main.css
scripts/tangle-org.el
bootstrap.mk
+coq.mk
org.mk
scripts/export-org.el
-coq.mk
-sass.mk
-templates/main.html
-soupault.conf
-emacs.d/
+emacs.d
site/style/main.sass
-site/style/org.sass
+theme.mk
+soupault.conf
+site/style/coq.sass
site/style/coq.sass
+site/style/org.sass
+site/style/main.sass
# begin generated files