1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 95a80b2..9c6e87d 100644
--- a/Makefile
+++ b/Makefile
@@ -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