diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-26 21:43:49 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-26 21:43:49 +0100 |
commit | af723a50dbdf1b70a25631f86f2a63c1d6ea533c (patch) | |
tree | 5b9e91ad3d811d656ae6767db5bfdd978489d812 /site/cleopatra/Contents/Coq.org | |
parent | Set a width linked to the font size (diff) |
Improving the end of the Bootstrapping cleopatra document
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
-rw-r--r-- | site/cleopatra/Contents/Coq.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index ee12806..a792ef9 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -8,7 +8,7 @@ COQ_HTML := $(COQ_POSTS:.v=.html) coq-build : ${COQ_HTML} -themepre-build : site/style/coq.sass +theme-build : site/style/coq.sass soupault-build : coq-build ARTIFACTS += *.vo *.vok *.vos .*.aux *.glob .lia.cache |