Spaces:
Paused
Paused
# delete previous gh-pages | |
git branch -D gh-pages | |
git push origin :gh-pages | |
git checkout -b gh-pages | |
git rebase master | |
git reset HEAD | |
# make docs | |
./scripts/make_docs.sh | |
# Add docs | |
mv docs/_build/html/*.html . | |
git add *.html | |
mv docs/_build/html/*.js . | |
git add *.js | |
mv docs/_build/html/_static/ _static | |
git add _static | |
touch .nojekyll | |
git add .nojekyll | |
# Publish to gh-pages | |
git commit -m "docs" | |
git push origin gh-pages | |
git checkout master | |