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

set -e

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

git checkout gh-pages
git fetch origin gh-pages
git merge --ff-only origin/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