Files
edgevpn/docs/scripts/publish.sh
Ettore Di Giacinto ea199579f8 🎨 Add docs
2022-01-30 17:00:02 +01:00

15 lines
166 B
Bash
Executable File

#!/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/