diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | site/cleopatra/Bootstrap.org | 3 |
2 files changed, 3 insertions, 1 deletions
@@ -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) |