Andreas/evennia
1
0
Fork 0
mirror of https://github.com/evennia/evennia.git synced 2026-03-30 12:37:16 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update doc-deploy file

Browse source
This commit is contained in:
Griatch 2020-06-13 12:35:06 +02:00
parent 2230900c55
commit 058ff22604
2 changed files with 8 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

13
docs/deploy.sh
View file

@ -18,20 +18,17 @@ git checkout gh-pages
# remove all but the build dir
ls -Q | grep -v build | xargs rm -Rf
cp -Rf build/html/versions/* .
# docs/build is in .gitignore so will not be included
git add .
cp -Rf build/html/* .
# TODO automate this?
ln -s 1.0-dev latest
git add docs/*
# docs/build is in .gitignore so will not be included
git add .
git commit -a -m "Updated HTML docs"
mv build docs/
echo "Skipping deployment"
# git push origin gh-pages
git push origin gh-pages
# get back to previous branch
git checkout -