doc/copy_html


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 ../
echo "html files copied"
git commit -am"website update"
git push
git checkout master