#!/bin/bash ( export PATH=/usr/local/bin:$PATH REPOSITORY=http://lemon.cs.elte.hu/hg/lemon/ WORKINGCOPY=lemon ROOT=$PWD LASTREV_FILE=$ROOT/last-rev LASTREV=`cat $LASTREV_FILE` cd $WORKINGCOPY hg pull hg update REV=`hg id -n` if [ $# -eq 0 ]; then if [ $LASTREV -lt $REV ]; then # Delete autom4te.cache in order to get configure regenerated # and the new revision number propagated into it. rm -rf autom4te.cache rm -rf doc/html autoreconf -vi ./configure make html cd .. rm -rf latest-doc cp -r $WORKINGCOPY/doc/html latest-doc echo $REV >$LASTREV_FILE fi elif [ $1 = '--help' ]; then echo 'Usage:' echo ' make-doc --init' echo ' make-doc --help' echo ' make-doc' exit 1 elif [ $1 = '--init' ]; then rm -rf $WORKINGCOPY hg clone $REPOSITORY $WORKINGCOPY echo '0' >$LASTREV_FILE exit 0 fi ) >/dev/null 2>&1