#!/bin/sh CP="cp --parents" if [ -e doc_source ]; then rm -rf doc_source fi if [ -e doc ]; then rm -rf doc fi mkdir doc_source mkdir doc $CP caldav/*.php doc_source $CP events/*.php doc_source $CP include/*.php doc_source $CP install/*.php doc_source $CP navigate/*.php doc_source $CP templates/*.php doc_source $CP utils/*.php doc_source $CP *.php doc_source doxygen Doxyfile cd doc/latex make pdf cd ../../ exit 0