diff options
Diffstat (limited to 'site/cleopatra')
| -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 |