diff options
Diffstat (limited to 'external_libs/python/pyzmq-14.7.0/docs/update_ghpages.sh')
-rw-r--r-- | external_libs/python/pyzmq-14.7.0/docs/update_ghpages.sh | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/external_libs/python/pyzmq-14.7.0/docs/update_ghpages.sh b/external_libs/python/pyzmq-14.7.0/docs/update_ghpages.sh new file mode 100644 index 00000000..a0976912 --- /dev/null +++ b/external_libs/python/pyzmq-14.7.0/docs/update_ghpages.sh @@ -0,0 +1,33 @@ +#!/usr/bin/env sh +# pick repo for gh-pages branch +repo=origin + +if [ ! -d gh-pages ]; then + echo "setting up gh-pages subdir" + mkdir gh-pages || exit -1 + cp -r ../.git gh-pages/ || exit -1 + cd gh-pages || exit -1 + init=0 + git checkout $repo/gh-pages || init=1 + if [ "$init" != "0" ]; then + echo "initializing gh-pages repo" + git symbolic-ref HEAD refs/heads/gh-pages || exit -1 + rm .git/index || exit -1 + git clean -fdx || exit -1 + touch index.html + git add . + git commit -a -m 'init gh-pages' || exit -1 + git push origin HEAD:gh-pages + fi + cd .. +fi +echo "updating local gh-pages with html build" +rsync -va build/html/ gh-pages/ --delete --exclude .git --exclude .nojekyll || exit -1 +cd gh-pages +touch .nojekyll +git add .nojekyll +git add . +git commit -a || exit -1 +echo "pushing to remote gh-pages" +# pwd +git push $repo HEAD:gh-pages |