blob: 276ff3e2b1fa9181f083993d1f8e77c91abcf42f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/bash
set -e
./docs-generate
cd ..
git branch -D gh-pages || true
git checkout --track origin/gh-pages
find . -maxdepth 1 -not -name "docs" -not -name ".git" -not -name "tools" -print0 | xargs -0 rm -r || true
mv docs/* .
mv docs/.nojekyll .
rmdir docs
rm -r tools/* || true
git add -A
git commit -m "Updated docs $(date)"
git push origin gh-pages
git checkout master
|
