Initial commit with previous content and a minimal theme

1 files changed, 28 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..7c52c0d
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,28 @@
+ORG_POSTS  := $(wildcard site/posts/*.org)
+COQ_POSTS  := $(wildcard site/posts/*.v)
+POSTS      := $(ORG_POSTS:.org=.html) $(COQ_POSTS:.v=.html)
+
+COQCARGS   := -async-proofs-cache force
+
+build: ${POSTS}
+	soupault
+
+clean:
+	rm -f ${POSTS}
+	rm -rf build
+
+force: clean build
+
+%.html: %.v
+	@echo "export $*.v"
+	@coqc ${COQCARGS} $*.v
+	@coqdoc --no-index --charset utf8 --short --body-only -d site/posts/ \
+	        --coqlib "https://coq.inria.fr/distrib/current/stdlib/" \
+	        $*.v
+	@rm -f site/posts/coqdoc.css
+
+%.html: %.org
+	@echo "export $*.org"
+	@emacs $< --batch --eval "(setq org-html-htmlize-output-type nil)" --eval "(org-html-export-to-html nil nil nil t)" --kill
+
+.PHONY: clean build force