[fix] Disable deploy temporarily
This commit is contained in:
parent
d62b7aa77c
commit
bbf8b95ae7
2 changed files with 3 additions and 2 deletions
|
|
@ -115,6 +115,6 @@ deploy:
|
||||||
# build and prepare the docs for release
|
# build and prepare the docs for release
|
||||||
release:
|
release:
|
||||||
make mv-local
|
make mv-local
|
||||||
# make _mv-deploy
|
make _mv-deploy
|
||||||
@echo ""
|
@echo ""
|
||||||
@echo "Deployment complete."
|
@echo "Deployment complete."
|
||||||
|
|
|
||||||
|
|
@ -17,7 +17,8 @@ mv build/html/versions .
|
||||||
git add versions
|
git add versions
|
||||||
|
|
||||||
git commit -a -m "Updated HTML docs"
|
git commit -a -m "Updated HTML docs"
|
||||||
git push origin gh-pages
|
echo "Skipping deployment"
|
||||||
|
# git push origin gh-pages
|
||||||
|
|
||||||
# get back to previous branch
|
# get back to previous branch
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue