diff extra/soundsoftware/extract-javadoc.sh @ 180:3a353bd04976 feature_20

* Stylesheet for Doxygen, and some generation fixes
author Chris Cannam <chris.cannam@soundsoftware.ac.uk>
date Thu, 03 Feb 2011 11:07:55 +0000
parents 2cec5c53cd68
children fc1ffeca7437
line wrap: on
line diff
--- a/extra/soundsoftware/extract-javadoc.sh	Wed Feb 02 17:04:56 2011 +0000
+++ b/extra/soundsoftware/extract-javadoc.sh	Thu Feb 03 11:07:55 2011 +0000
@@ -29,7 +29,8 @@
 
 # hmm. should be a whitelist
 
-    ( cd "$hgdir" && grep -vi OUTPUT_DIRECTORY "$doxyfile" | grep -vi HTML_OUTPUT | sed -e '$a OUTPUT_DIRECTORY='"$docdir" -e '$a HTML_OUTPUT = .' | doxygen - )
+    ( cd "$hgdir" && grep -vi OUTPUT_DIRECTORY "$doxyfile" | grep -vi HTML_OUTPUT | grep -vi SEARCHENGINE | grep -vi HAVE_DOT | grep -vi DOT_FONTNAME | grep -vi DOT_FONTPATH | grep -vi DOT_TRANSPARENT | \
+	sed -e '$a OUTPUT_DIRECTORY='"$docdir" -e '$a HTML_OUTPUT = .' -e '$a SEARCHENGINE = NO' -e '$a HAVE_DOT = YES' -e '$a DOT_FONTNAME = FreeMono.ttf' -e '$a DOT_TRANSPARENT = YES' | doxygen - )
 
 fi