#! /bin/bash
# push - Put the current repository up for the public
# Michael FIG <michael@fig.org>, 2007-10-29
webroot=/var/www/root/figure
set -e
hg push $webroot
if test -e CircleOfPromises.pdf && test CircleOfPromises.tex -ot CircleOfPromises.pdf; then :
else
  pdflatex CircleOfPromises && pdflatex CircleOfPromises
fi
cp -p CircleOfPromises.pdf $webroot
cd $webroot && hg update