(cd doc && make ${PROD}.pdf index.html)
cp NEWS doc/
scp ${TAR} ftp.indexdata.dk:/home/ftp/pub/${PROD}/
-tar cz --exclude=.git -f - dox doc|ssh website "cd software/${PROD}; tar xzf -"
+tar cz --exclude=.git -f - dox doc|ssh website "cd /var/www/software/${PROD}; tar xzf -"
# Local Variables:
# mode:shell-script
# sh-indentation: 2