blob: 7c52c0dfda5db258443816dc896fa3dff2a6d579 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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
|