diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-08-13 22:16:50 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-08-13 22:16:50 +0200 |
commit | b84eb628be2e0489bab15e573518058053793e0d (patch) | |
tree | 69489fbb3343f2bac2e5659f1f639236ecf4c5b5 | |
parent | Some tweaks to the toolchain (diff) |
Further tweaks in the toolchain
-rw-r--r-- | literate-programming.mk | 5 | ||||
-rw-r--r-- | org.mk | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/literate-programming.mk b/literate-programming.mk index 1f158b6..4ce5374 100644 --- a/literate-programming.mk +++ b/literate-programming.mk @@ -6,13 +6,14 @@ ARTIFACTS += lp/ site/posts/deps.svg COQFFI_ARCHIVE := site/files/coqffi-tutorial.tar.gz -coqffi-tutorial-build : literate-programming-prebuild _opam/init +${COQFFI_ARCHIVE} : literate-programming-prebuild _opam/init @scripts/pretty-echo.sh "Building" "coqffi tutorial" @cd lp/coqffi-tutorial; dune build --display quiet @scripts/pretty-echo.sh "Archiving" "coqffi tutorial" @rm -f ${COQFFI_ARCHIVE} @capture.sh coqffi-tutorial tar --exclude="_build" -C lp/ -czvf ${COQFFI_ARCHIVE} coqffi-tutorial -literate-programming-build : coqffi-tutorial-build +literate-programming-build : ${COQFFI_ARCHIVE} +soupault-build : literate-programming-build ARTIFACTS += ${COQFFI_ARCHIVE} @@ -7,7 +7,7 @@ soupault-build : org-build ARTIFACTS += ${ORG_OUT} .emacs.d/cache -site/index.org : site/haskell.org site/miscellaneous.org site/meta.org site/coq.org +site/index.html : site/haskell.org site/miscellaneous.org site/meta.org site/coq.org %.html : %.org org.mk @scripts/pretty-echo.sh Exporting "$*.org" |