tools/push-ghpages


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/bash
set -e -o pipefail

./generate-docs
git checkout gh-pages
find . -maxdepth 1 -not -name "docs" -not -name ".git" -print0 | xargs -0 rm -r
mv docs/* .
mv docs/.nojekyll .
rmdir docs
git add -A
git commit -m "Updated docs $(date)"
git push origin gh-pages