#!/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 '' > target/doc/index.html ghp-import target/doc git push origin gh-pages:gh-pages