Add publish-doc script

Peltoche · Mar 5, 2017 · 70789cc · 70789cc
1 parent 6a27a6a
commit 70789cc
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/publish-doc.sh b/publish-doc.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+git describe --exact-match --tags $(git log -n1 --pretty='%h') >/dev/null 2>&1
+if [[ $? != 0 ]]; then
+    echo "Should not publish tags from an untagged commit!"
+    exit 1
+fi
+
+cd $(git rev-parse --show-toplevel)
+rm -rf target/doc/
+rustup run nightly cargo doc --no-deps --features "backup blob chrono functions limits load_extension serde_json trace"
+echo '<meta http-equiv=refresh content=0;url=rusqlite/index.html>' > target/doc/index.html
+ghp-import target/doc
+git push origin gh-pages:gh-pages