diff --git a/sphinx_to_github.sh b/sphinx_to_github.sh index fedfc2a..74cd21b 100755 --- a/sphinx_to_github.sh +++ b/sphinx_to_github.sh @@ -1,4 +1,4 @@ -cd docs +cd docs || exit rm -rf build rm -rf gh-pages @@ -6,10 +6,10 @@ make html git clone git@github.com:F-WuTS/compLIB.git gh-pages -cd gh-pages +cd gh-pages || exit git checkout gh-pages -cp -r ../build/html/ . +cp -r ../build/html/* . git add . git commit -a -m "Update documentation"