From 42a6482da68a78d760ceb5025f21668ad37bdbbc Mon Sep 17 00:00:00 2001 From: Eugenio Parodi Date: Wed, 20 Mar 2024 11:01:09 +0000 Subject: [PATCH] updated the sandbox deployment --- Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c9755d9d..ee37d01f 100644 --- a/Makefile +++ b/Makefile @@ -93,7 +93,12 @@ deployDoc: git checkout main deploySandbox: - cp -a tests/sandbox tmp/ + rm -rf tmp/sandbox + mkdir -p tmp/sandbox + cp -a tests/sandbox/*.html tmp/sandbox + # cp -a tests/sandbox/bin tmp/sandbox + # cp -a tests/sandbox/www tmp/sandbox + cp -a tools/webExporter/js tmp/sandbox git checkout gh-pages git pull