From ee003d36d066076bb566b9caea8b5c1975cea489 Mon Sep 17 00:00:00 2001
From: Alexandre Bury <alexandre.bury@gmail.com>
Date: Sat, 25 Jun 2016 13:51:48 -0700
Subject: [PATCH] Add update doc script

---
 update_doc.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 update_doc.sh

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