blob: dc73f49efd8a5bb3ef56cf24dce511b35073bf1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
git checkout gh-pages
rc=$?
if [[ $rc != 0 ]] ; then
exit $rc
fi
cp -r _build/html/*.html _build/html/*.js _build/html/_static _build/html/_modules ../
echo "html files copied"
git commit -am"website update"
git push
git checkout master
|