diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-04 18:13:38 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-04 18:13:38 +0100 |
commit | 9754a53fdc14f6ee4cf00f851cda68d69889bdcd (patch) | |
tree | 0af2ae9e1488f22b56e92cb6b17bb82e2f919bd3 /Makefile |
Initial commit with previous content and a minimal theme
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 28 |
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 |