1#!/bin/bash 2 3git describe --exact-match --tags $(git log -n1 --pretty='%h') >/dev/null 2>&1 4if [[ $? != 0 ]]; then 5 echo "Should not publish tags from an untagged commit!" 6 exit 1 7fi 8 9cd $(git rev-parse --show-toplevel) 10rm -rf target/doc/ 11rustup run nightly cargo doc --no-deps --features "backup blob chrono functions limits load_extension serde_json trace" 12echo '<meta http-equiv=refresh content=0;url=rusqlite/index.html>' > target/doc/index.html 13ghp-import target/doc 14git push origin gh-pages:gh-pages 15