Skip to content
Permalink
Browse files

Add github.io update script

  • Loading branch information...
neurodroid committed Nov 8, 2017
1 parent 5319563 commit c796a6f71fadb6b77f0b4f83fe118ee0f3bdaf0c
Showing with 12 additions and 0 deletions.
  1. +12 −0 update_doc.sh
@@ -0,0 +1,12 @@
#! /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

0 comments on commit c796a6f

Please sign in to comment.
You can’t perform that action at this time.