ORXONOX_TRUNK="/var/www/www.orxonox.net/trunk"
DOC_DIR="/var/www/www.orxonox.net/doc"

cd ${ORXONOX_TRUNK}
make doc

cp -r ${ORXONOX_TRUNK}/doc/html ${DOC_DIR}