makedoc

   1 #!/bin/sh
   2
   3 CP="cp --parents"
   4 if [ -e doc_source ]; then
   5     rm -rf doc_source
   6 fi
   7
   8 if [ -e doc ]; then
   9     rm -rf doc
  10 fi
  11
  12 mkdir doc_source
  13 mkdir doc
  14
  15 $CP caldav/*.php doc_source
  16 $CP events/*.php doc_source
  17 $CP include/*.php doc_source
  18 $CP install/*.php doc_source
  19 $CP navigate/*.php doc_source
  20 $CP templates/*.php doc_source
  21 $CP utils/*.php doc_source
  22 $CP *.php doc_source
  23
  24 doxygen Doxyfile
  25
  26 cd doc/latex
  27 make pdf
  28 cd ../../
  29
  30 exit 0