Add update doc script

This commit is contained in:
Alexandre Bury 2016-06-25 13:51:48 -07:00
parent 7aab403db6
commit ee003d36d0

10
update_doc.sh Executable file
View File

@ -0,0 +1,10 @@
set -e
cargo doc
FROM=$(git rev-parse --short HEAD)
git checkout gh-pages
rsync -a target/doc/ .
git add .
git commit -m "Update doc for ${FROM}"
# git push
git checkout master