CodeIgniter4/admin/docbot

#!/bin/bash

# Rebuild and deploy CodeIgniter4 under-development user guide
#
# This is a quick way to test user guide changes, and if they
# look good, to push them to the gh-pages branch of the
# development repository.
#
# This is not meant for updating the "stable" user guide.

UPSTREAM=https://github.com/codeigniter4/CodeIgniter4.git

# Prepare the nested repo clone folder
cd user_guide_src
rm -rf build/*
mkdir build/html

# Get ready for git
cd build/html
git init
git remote add origin $UPSTREAM
git fetch 
git checkout gh-pages
git reset --hard origin/gh-pages
rm -r *

# Make the new user guide
cd ../..
make html

# All done?
if [ $# -lt 1 ]; then
  exit 0
fi

# Optionally update the remote repo
if [ $1 = "deploy" ]; then
  cd build/html
  git add .
  git commit -S -m "Docbot synching"
  git push -f origin gh-pages
fi