hg status
hg diff

hg commit -m "New version"

if [ $? -ne 0 ]; then
   echo "Push cancelled"
   exit 1
fi

hg push -f ssh://sage@sagemath.org/www/hg/doc-main
