Doc update script: rebase before updating doc

This commit is contained in:
Alexandre Bury 2016-07-14 22:35:59 -07:00
parent 12db0007eb
commit 83f0bf67bc

View File

@ -3,6 +3,7 @@ set -e
cargo doc cargo doc
FROM=$(git rev-parse --short HEAD) FROM=$(git rev-parse --short HEAD)
git checkout gh-pages git checkout gh-pages
git fetch && git rebase
rsync -a target/doc/ . rsync -a target/doc/ .
git add . git add .
git commit -m "Update doc for ${FROM}" git commit -m "Update doc for ${FROM}"