diff options
| -rw-r--r-- | .gitignore | 13 | ||||
| -rw-r--r-- | Makefile | 1 | ||||
| -rwxr-xr-x | scripts/update-gitignore.sh | 14 |
3 files changed, 27 insertions, 1 deletions
@@ -5,4 +5,15 @@ build/ *.vo .*.aux *.glob -*.html~
\ No newline at end of file +*.html~ + +# begin generated files +site/posts/monad-transformers.html +site/posts/lisp-journey-getting-started.html +site/posts/extensible-type-safe-error-handling.html +site/posts/Ltac101.html +site/posts/RewritingInCoq.html +site/posts/StronglySpecifiedFunctionsProgram.html +site/posts/MiniHTTPServer.html +site/posts/StronglySpecifiedFunctions.html +# begin generated files @@ -6,6 +6,7 @@ COQCARGS := -async-proofs-cache force build: ${POSTS} soupault + scripts/update-gitignore.sh ${POSTS} clean: rm -f ${POSTS} diff --git a/scripts/update-gitignore.sh b/scripts/update-gitignore.sh new file mode 100755 index 0000000..ea8a019 --- /dev/null +++ b/scripts/update-gitignore.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +BEGIN_MARKER="# begin generated files" +END_MARKER="# begin generated files" + +sed -i -e "/${BEGIN_MARKER}/,/${END_MARKER}/d" .gitignore +sed -i -e :a -e '/^\n*$/{$d;N;};/\n$/ba' .gitignore + +echo "" >> .gitignore +echo ${BEGIN_MARKER} >> .gitignore +for f in $@; do + echo "${f}" >> .gitignore +done +echo ${END_MARKER} >> .gitignore |