From 0a530dbc1889bb69f245fb1c99e6c8ce9c17c574 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Thu, 10 Dec 2020 15:56:25 +0100 Subject: Fix the generation of coqffi-tutorial.tar.gz --- site/cleopatra/literate-programming.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'site/cleopatra/literate-programming.org') 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 -- cgit v1.2.3