deploy-to-github-pages.sh

#!/usr/bin/env bash

echo ""
echo "Deploying to github pages..."
echo ""

# Cleanup up last rendered book
mdbook clean 

# Build the book from src dir
mdbook build

# Checkout to gh-pages dir
git checkout gh-pages

# Delete existing docs dir
rm -rf docs

# Rename book dir to docs
mv book docs

# Add to git
git add .

# Commit
git commit -m "updated book with latest changes"

# Push to deploy
git push origin gh-pages

# Switch back to last branch
git checkout -