rebuild_doc.sh

   1 #!/bin/sh
   2
   3 echo "$0: Cleaning up..."
   4 find docs/html/ -type f -exec rm -f {} \;
   5 rm -f docs/*.log
   6 echo "$0: Done."
   7
   8 doxygen Doxyfile