comparison extra/soundsoftware/extract-javadoc.sh @ 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
comparison
equal deleted inserted replaced
180:3a353bd04976 181:fc1ffeca7437
28 else 28 else
29 29
30 # hmm. should be a whitelist 30 # hmm. should be a whitelist
31 31
32 ( 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 | \ 32 ( 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 | \
33 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 - ) 33 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 - )
34 34
35 fi 35 fi
36 36
37 # This is very rough; check what is actually permitted for package 37 # This is very rough; check what is actually permitted for package
38 # declarations 38 # declarations