#!/bin/sh
export PATH=/usr/local/bin/:$PATH

git remote update 1>/dev/null

LOCAL=$(git rev-parse @{0})
REMOTE=$(git rev-parse @{u})

if [ $LOCAL != $REMOTE ]; then
    git pull
    PATH="/usr/local/bin:$PATH" make COQWEB=/srv/coq-www/www all
fi

Add script to update the www/ directory on coq.inria.fr
Add script to update the www/ directory on coq.inria.fr
