#! /bin/sh REPO=/home/tuxillo/public_html/archive/temp/s/docs.dragonflybsd.org OUTDIR=/home/tuxillo/public_html/archive/temp/docs.dragonflybsd.org cd $REPO git remote update >/dev/null 2>&1 localrev=$(git rev-parse @) remoterev=$(git rev-parse origin/master) if [ "${localrev}" != "${remoterev}" ]; then echo Generating docs git pull --all -q -p mkdocs build -d ${OUTDIR} fi