diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-26 19:16:22 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-26 19:16:22 +0100 |
commit | 5945bc80300f5504403ffe533dc60bfc95762695 (patch) | |
tree | e0655d4ea120a6d3af9193d1cda241a6809f9a3d /site/cleopatra/Contents/Coq.org | |
parent | Allow cleopatra to create missing directories (diff) |
Introduce a notion of dependency between generation processes
The chain of generation processes is now divided into three
well-identified stages. The order of definition of generation
processes is no longer important.
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
-rw-r--r-- | site/cleopatra/Contents/Coq.org | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index 9bb5836..ee12806 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -4,8 +4,15 @@ #+BEGIN_SRC makefile :tangle coq.mk COQ_POSTS := $(shell find site/ -name "*.v") -CONTENTS += $(COQ_POSTS:.v=.html) -GENSASS += site/style/coq.sass +COQ_HTML := $(COQ_POSTS:.v=.html) + +coq-build : ${COQ_HTML} + +themepre-build : site/style/coq.sass +soupault-build : coq-build + +ARTIFACTS += *.vo *.vok *.vos .*.aux *.glob .lia.cache +ARTIFACTS += ${COQ_HTML} COQLIB := "https://coq.inria.fr/distrib/current/stdlib/" COQCARG := -async-proofs-cache force \ |