summaryrefslogtreecommitdiffstats
path: root/site/cleopatra/literate-programming.org
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-12-10 15:56:25 +0100
committerThomas Letan <lthms@soap.coffee>2020-12-10 15:56:25 +0100
commit0a530dbc1889bb69f245fb1c99e6c8ce9c17c574 (patch)
treed939d768dd8b2f478ca38f46d59224a58700eb91 /site/cleopatra/literate-programming.org
parent2706544cf000a6f9875e81f86d885d4dc68dfb23 (diff)
Fix the generation of coqffi-tutorial.tar.gz
Diffstat (limited to 'site/cleopatra/literate-programming.org')
-rw-r--r--site/cleopatra/literate-programming.org2
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