diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
| commit | 2dc4e8b62cf0db0a9fccf7cfbee7a809d82081bc (patch) | |
| tree | c8db3f2a7887237b48689dd140417e2875d3cb10 /Makefile | |
| parent | Add a revision table to the “Rewrite in Coq” article (diff) | |
Adopt a literate programming approach for the configuration
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -5,7 +5,7 @@ INPUTS := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html) $(SASS:.sass=.css) COQCARGS := -async-proofs-cache force -build: ${INPUTS} +build: ${INPUTS} soupault.conf @soupault @scripts/update-gitignore.sh ${INPUTS} @@ -15,6 +15,10 @@ clean: force: clean build +soupault.conf: site/posts/SoupaultConfiguration.org + @echo "generate soupault.conf" + @emacs $< --batch --eval "(org-babel-tangle)" --kill 2>/dev/null + %.html: %.v @echo "export $*.v" @coqc ${COQCARGS} $*.v |