cursive/update_doc.sh

12 lines
218 B
Bash
Raw Normal View History

2016-06-25 20:51:48 +00:00
set -e
cargo doc
FROM=$(git rev-parse --short HEAD)
git checkout gh-pages
2016-07-15 05:52:37 +00:00
git fetch && git rebase origin/gh-pages
2016-06-25 20:51:48 +00:00
rsync -a target/doc/ .
git add .
git commit -m "Update doc for ${FROM}"
# git push
git checkout master