Generate index page in script

kmahar · kmahar · commit d1f6fd5b7132 · 2020-08-27T21:32:34.000-04:00
diff --git a/etc/generate-docs.sh b/etc/generate-docs.sh
@@ -34,13 +34,18 @@ for module in "${modules[@]}"; do
 done
 
 # switch to docs branch to commit and push
+git stash
 git checkout gh-pages
 
 rm -rf docs/*
 cp -r docs-temp/* docs/
 rm -rf docs-temp
 
 git add docs/
+
+echo '<html><head><meta http-equiv="refresh" content="0; url=BSON/index.html" /></head></html>' > docs/index.html
+git add docs/index.html
+
 git commit -m "${version} docs"
 git push
 
