From 2dc4e8b62cf0db0a9fccf7cfbee7a809d82081bc Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 16 Feb 2020 23:44:01 +0100
Subject: Adopt a literate programming approach for the configuration

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3