Updated the gh-pages script

This commit is contained in:
Marcin Grzejszczak
2016-08-09 18:41:29 +02:00
parent 26f020e3c3
commit bc2aa8dab5

View File

@@ -28,6 +28,7 @@ if [ "$dirty" != "0" ]; then git stash; fi
# Switch to gh-pages branch to sync it with current branch
###################################################################
git checkout gh-pages
git pull origin gh-pages --rebase
for f in docs/target/generated-docs/*; do
file=${f#docs/target/generated-docs/*}