diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-12-14 16:06:15 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-12-14 16:06:15 +0100 |
| commit | c1b2d6727b20e96a574a9c2cc480e35a22264d3e (patch) | |
| tree | 22205d65ab1d25839781776e782beb5b1846af4f /site | |
| parent | Do not output when tangling coqffi tutorial (diff) | |
Fine-grained dependency for literate programming build process
Diffstat (limited to 'site')
| -rw-r--r-- | site/cleopatra/literate-programming.org | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/site/cleopatra/literate-programming.org b/site/cleopatra/literate-programming.org index 35e643a..3b56924 100644 --- a/site/cleopatra/literate-programming.org +++ b/site/cleopatra/literate-programming.org @@ -8,8 +8,6 @@ literate-programming-prebuild : @cleopatra exec -- cleopatra-run-elisp export-lp.el \ >> build.log 2>&1 -org-build : literate-programming-build - COQFFI_ARCHIVE := site/files/coqffi-tutorial.tar.gz coqffi-tutorial-build : literate-programming-prebuild @@ -19,6 +17,7 @@ coqffi-tutorial-build : literate-programming-prebuild @rm -f ${COQFFI_ARCHIVE} @tar --exclude="_build" -C lp/ -czvf ${COQFFI_ARCHIVE} coqffi-tutorial >> build.log +site/posts/CoqffiEcho.html : coqffi-tutorial-build literate-programming-build : coqffi-tutorial-build ARTIFACTS += lp/ ${COQFFI_ARCHIVE} site/posts/deps.svg |