Add shell script to publish docs

This commit is contained in:
John Gallagher 2015-12-16 15:54:40 -05:00
parent 0e61905a8b
commit c7c1c88c1c

14
publish-ghp-docs.sh Executable file
View File

@ -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/
multirust run nightly cargo doc --no-deps --features "load_extension 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