diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-10 15:56:25 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-10 15:56:25 +0100 |
commit | 0a530dbc1889bb69f245fb1c99e6c8ce9c17c574 (patch) | |
tree | d939d768dd8b2f478ca38f46d59224a58700eb91 | |
parent | Add a Series on coqffi, and the first literate program of this blog (diff) |
Fix the generation of coqffi-tutorial.tar.gz
-rw-r--r-- | site/cleopatra/literate-programming.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/cleopatra/literate-programming.org b/site/cleopatra/literate-programming.org index 7310864..4e42e5e 100644 --- a/site/cleopatra/literate-programming.org +++ b/site/cleopatra/literate-programming.org @@ -16,7 +16,7 @@ coqffi-tutorial-build : literate-programming-prebuild @cd lp/coqffi-tutorial; dune build --display quiet @cleopatra echo "Archiving" "coqffi tutorial" @rm -f ${COQFFI_ARCHIVE} - @tar --exclude="_build" -czvf ${COQFFI_ARCHIVE} lp/coqffi-tutorial >> build.log + @tar --exclude="_build" -C lp/ -czvf ${COQFFI_ARCHIVE} coqffi-tutorial >> build.log literate-programming-build : coqffi-tutorial-build |