Pull after switching branches in generate-docs

This commit is contained in:
Lucien Greathouse
2019-01-09 23:19:52 -08:00
parent 95866d0f2e
commit 4b81166782

View File

@@ -11,6 +11,7 @@ CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
echo "Building 0.4.x"
git checkout v0.4.x
git pull
mkdocs build --site-dir site
mkdocs build --site-dir site/0.4.x