Browse Source

updated the sandbox deployment

pull/250/head
Eugenio Parodi 2 years ago
parent
commit
42a6482da6
  1. 7
      Makefile

7
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

Loading…
Cancel
Save