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 | |
parent | Set a width linked to the font size (diff) |
Improving the end of the Bootstrapping cleopatra document
Diffstat (limited to 'site/cleopatra/Contents')
-rw-r--r-- | site/cleopatra/Contents/Coq.org | 2 | ||||
-rw-r--r-- | site/cleopatra/Contents/Org.org | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/site/cleopatra/Contents/Org.org b/site/cleopatra/Contents/Org.org index 385d2d3..cdb0ad6 100644 --- a/site/cleopatra/Contents/Org.org +++ b/site/cleopatra/Contents/Org.org @@ -63,7 +63,7 @@ ORG_HTML := $(ORG_POSTS:.org=.html) org-prebuild : .emacs org-build : ${ORG_HTML} -theme-prebuild : site/style/org.sass +theme-build : site/style/org.sass soupault-build : org-build ARTIFACTS += ${ORG_HTML} "*.html~" |