Change to Makefile

This commit is contained in:
Manuel Ebert 2013-11-06 00:01:22 -08:00
parent 26db6ff471
commit 14f657d9ce

View file

@ -9,7 +9,7 @@ gh_pages:
make html ; \ make html ; \
cd .. ; \ cd .. ; \
cp -r docs/_build/html/* . ; \ cp -r docs/_build/html/* . ; \
git add * ; \ git add -A ; \
git commit -m "Updated docs from master" ; \ git commit -m "Updated docs from master" ; \
git push -u origin gh-pages ; \ git push -u origin gh-pages ; \
git checkout master git checkout master