summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-22 16:15:08 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-22 16:15:08 +0100
commitd50ee0c558512b908372af0186b15407c452dbd1 (patch)
tree20a349c722a311e59095123fbb49fcff08bc84f3 /.gitignore
parentMake ~make~ to call itself with the `build` rule when none is given (diff)
Use `tangle-org.el' during bootstrap
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index 3e485c5..622752c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,14 +30,13 @@ site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
site/style/main.css
-scripts/tangle-org.el
bootstrap.mk
coq.mk
org.mk
scripts/export-org.el
emacs.d
-site/style/main.sass
theme.mk
+site/style/main.sass
soupault.conf
site/style/coq.sass
site/style/coq.sass