summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-23 16:45:28 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-23 16:55:22 +0100
commit39fd0f01f46d38b2de7061ac14328058a6a74c2d (patch)
tree96375e7048c6fc2516ed4885402b24f7acdbdd67 /.gitignore
parente5480d5c080fd1155844c24bb97fdc72e54ac5a4 (diff)
Do not remove cleopatra files with 'make clean'
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index a56aa0d..9dd7ce4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,16 +29,13 @@ site/posts/index.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
-soupault.conf
site/style/main.css
-templates/main.html
bootstrap.mk
scripts/update-gitignore.sh
coq.mk
org.mk
scripts/packages.el
scripts/export-org.el
-emacs.d
.emacs
emacs.d
soupault.conf
@@ -48,7 +45,6 @@ scripts/katex.js
scripts/history.sh
theme.mk
templates/main.html
-site/style/main.sass
site/style/coq.sass
site/style/coq.sass
site/style/org.sass