docs/_scripts/build.sh

#!/bin/bash
# this generates the site in _site
# override --url /myMountPoint  (as an argument to this script) if you don't like the default set in /_config.yml

if [ ! -x _scripts/build.sh ] ; then
  echo script must be run in root of docs dir
  exit 1
fi

rm -rf _site/

jekyll --pygments $* || { echo failed jekyll site build ; exit 1 ; }
echo

pushd _javadoc > /dev/null
./make-javadoc.sh || { echo failed javadoc build ; exit 1 ; }
popd > /dev/null
echo

echo docs build complete, in _site