Add github.io update script

parent 5319563c
#! /bin/sh
git checkout gh-pages
git merge master
cd doc/sphinx
make -f Makefile.sphinx html
cd ../..
rsync -av ./doc/sphinx/.build/html/* ./
git add .
git commit -m "Update documentation"
git push origin gh-pages
git checkout master
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment