diff options
Diffstat (limited to 'publish-ghp-docs.sh')
| -rwxr-xr-x | publish-ghp-docs.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/publish-ghp-docs.sh b/publish-ghp-docs.sh new file mode 100755 index 0000000..14f358a --- /dev/null +++ b/publish-ghp-docs.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 |