From 9754a53fdc14f6ee4cf00f851cda68d69889bdcd Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Tue, 4 Feb 2020 18:13:38 +0100
Subject: Initial commit with previous content and a minimal theme

---
 Makefile | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

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