diff --git a/update_doc.sh b/update_doc.sh new file mode 100755 index 0000000..625bcd0 --- /dev/null +++ b/update_doc.sh @@ -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