📓 Add docs alongside

This commit is contained in:
Ettore Di Giacinto
2022-01-30 19:44:45 +01:00
parent 6f77fa2b3a
commit a591a1e44f
55 changed files with 3194 additions and 7 deletions

14
docs/scripts/publish.sh Executable file
View File

@@ -0,0 +1,14 @@
#!/bin/bash
set -e
"${ROOT_DIR}"/scripts/build.sh
git branch -D gh-pages || true
git checkout --orphan gh-pages
git rm -rf .
cp -rfv public/* ./
rm -rf public/