rust-dochub.sh

#!/bin/bash
set -e

PROJECT_DIR=${1:-$PWD}
PROJECT_DIR=$(realpath ${PROJECT_DIR})

BRANCH_NAME="gh-pages"

if [ ! -d ${PROJECT_DIR} ]; then
    echo "Project directory doesn't exists: ${PROJECT_DIR}"
    exit 1
fi

cd ${PROJECT_DIR}

# Create branch if it doesn't already exists
if ! git show-ref --quiet --verify "refs/heads/${BRANCH_NAME}"; then
    git checkout --quiet --orphan ${BRANCH_NAME}
    git rm --quiet -rf .
    git commit --quiet --allow-empty -m 'Base commit.'
fi

# Build doc
git checkout --quiet master

cargo build &>/dev/null
cargo doc &>/dev/null

# Commit doc
git checkout --quiet ${BRANCH_NAME}
rm *.lock

rm -rf doc
mv -f target/doc doc

rm -rf target

git add doc
git commit --quiet -m 'Update doc.'

git checkout --quiet master
rm -rf doc

echo "Done!"
echo "Now you can type: git push origin ${BRANCH_NAME}"