mirror of
https://github.com/evennia/evennia.git
synced 2026-03-21 15:26:30 +01:00
34 lines
875 B
Bash
34 lines
875 B
Bash
#
|
|
# deploy to github
|
|
#
|
|
# This copies the recently built files from build/html into the github-gh branch. Note that
|
|
# it's important that build/ must not be committed to git!
|
|
#
|
|
|
|
if [ -n "$(git status --untracked-files=no --porcelain)" ]; then
|
|
echo "There are uncommitted changes. Make sure to commit everything in your current branch first."
|
|
exit 1
|
|
fi
|
|
|
|
# get the deployment branch
|
|
git checkout gh-pages
|
|
|
|
mv build ..
|
|
# the docs/ folder is named the same in both branches so we need to step out of
|
|
# it to not confuse what's what.
|
|
cd ..
|
|
rm -Rf docs/*
|
|
cp -Rf build/html/versions/* docs/
|
|
git add docs/*
|
|
rm -Rf build
|
|
|
|
git commit -a -m "Updated HTML docs"
|
|
|
|
echo "Skipping deployment"
|
|
# git push origin gh-pages
|
|
|
|
# get back to previous branch (go into docs/ so we end up where we started)
|
|
cd docs
|
|
git checkout -
|
|
|
|
echo "Deployed to https://evennia.github.io/evennia-docs."
|