#! /bin/bash if [ -z "$1" ]; then echo "Expected /includes/nav.html file as arg." exit 1 fi NAV_BAR=$1 if [ ! -f $NAV_BAR ]; then echo $NAV_BAR " does not exist" exit 1 fi python gendoc.py perl -pi -e 's#
##' gen/specification.html gen/howtos.html perl -MFile::Slurp -pi -e 'BEGIN { $nav = read_file("'$NAV_BAR'") } s##