cd docs
rm -rf build
rm -rf gh-pages

make html

git clone git@github.com:F-WuTS/compLIB.git gh-pages

cd gh-pages
git checkout gh-pages

cp -r ../build/html/ .

git add .
git commit -a -m "Update documentation"
git push origin gh-pages

cd ..
rm -rf gh-pages

cd ..