summaryrefslogtreecommitdiff
path: root/bin/build-pages.sh
blob: 6e27158324010bdf2a0cdfc17edb5450dda636fe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/bash

set -e

cd "`dirname $0`/.."
rm -r build/sphinx || true
python setup.py build_sphinx

git checkout gh-pages
git rm `git ls-files`
git checkout HEAD CNAME
git checkout HEAD .nojekyll
cp -r build/sphinx/html/. .
git add `find build/sphinx/html | cut -c 19-`
git status