changeset 181:fc1ffeca7437 feature_20

* minor font text change
author Chris Cannam <chris.cannam@soundsoftware.ac.uk>
date Thu, 03 Feb 2011 11:57:46 +0000
parents 3a353bd04976
children 0d1c6fa50d3a
files extra/soundsoftware/extract-javadoc.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/extra/soundsoftware/extract-javadoc.sh	Thu Feb 03 11:07:55 2011 +0000
+++ b/extra/soundsoftware/extract-javadoc.sh	Thu Feb 03 11:57:46 2011 +0000
@@ -30,7 +30,7 @@
 # hmm. should be a whitelist
 
     ( 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 - )
+	sed -e '$a OUTPUT_DIRECTORY='"$docdir" -e '$a HTML_OUTPUT = .' -e '$a SEARCHENGINE = NO' -e '$a HAVE_DOT = YES' -e '$a DOT_FONTNAME = FreeMono' -e '$a DOT_FONTPATH = /usr/share/fonts/truetype/freefont' -e '$a DOT_TRANSPARENT = YES' | doxygen - )
 
 fi