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