cursive/update_doc.sh

set -e

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

			`cargo doc`
			`FROM=$(git rev-parse --short HEAD)`
			`git checkout gh-pages`
Doc update script: rebase before updating doc 2016-07-15 05:35:59 +00:00			`git fetch && git rebase`
Add update doc script 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`