summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-23 17:22:51 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-23 17:27:19 +0100
commit69f9af2bcec19fd7ae13ac07eda258b140917844 (patch)
treecccdc0f75affb83781aa48fb7b74b8ce5f23a7b8
parent286998950d14603f1969e9c4e18cf4e4e13f9bf6 (diff)
Ignore build.log
-rw-r--r--.gitignore1
-rw-r--r--site/cleopatra/Bootstrap.org3
2 files changed, 3 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 245cce9..90013bb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,4 +52,5 @@ site/style/coq.sass
site/style/coq.sass
site/style/org.sass
site/style/main.sass
+build.log
# begin generated files
diff --git a/site/cleopatra/Bootstrap.org b/site/cleopatra/Bootstrap.org
index ae4fca6..d1386d7 100644
--- a/site/cleopatra/Bootstrap.org
+++ b/site/cleopatra/Bootstrap.org
@@ -298,7 +298,8 @@ build : ${CONTENTS} ${GENFILES}
@scripts/update-gitignore.sh \
${CONTENTS} \
${GENFILES} \
- ${GENSASS}
+ ${GENSASS} \
+ build.log
#+END_SRC
#+BEGIN_SRC bash :tangle scripts/update-gitignore.sh :tangle-mode (identity #o755)