# HG changeset patch
# User Chris Cannam <chris.cannam@soundsoftware.ac.uk>
# Date 1296666296 0
# Node ID 2cec5c53cd68027a14c97bc6be0b45a4a2341a07
# Parent  97d27ad3df50662e2cd0a6407986bebf88101ef6
* Another minor stylesheet update, start hacking around with Doxyfiles

diff -r 97d27ad3df50 -r 2cec5c53cd68 extra/soundsoftware/extract-javadoc.sh
--- a/extra/soundsoftware/extract-javadoc.sh	Wed Feb 02 12:18:27 2011 +0000
+++ b/extra/soundsoftware/extract-javadoc.sh	Wed Feb 02 17:04:56 2011 +0000
@@ -18,18 +18,44 @@
 
 # TODO: Doxyfile
 
+doxyfile=`find "$hgdir" -type f -name Doxyfile -print | head -1`
+
+echo "This project contains a Doxyfile:"
+echo "$doxyfile"
+
+if [ -z "$doxyfile" ]; then
+    echo "No Doxyfile: skipping"
+else
+
+# 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 - )
+
+fi
 
 # This is very rough; check what is actually permitted for package
 # declarations
 
 java_packages=`find "$hgdir" -type f -name \*.java -print | \
-     xargs grep -h '^ *package [a-zA-Z][a-zA-Z0-9\._-]* *; *' | sort | uniq | \
-     sed -e 's/^ *package //' -e 's/ *; *$//'`
+    xargs grep -h '^ *package [a-zA-Z][a-zA-Z0-9\._-]* *; *' | \
+    sort | uniq | \
+    sed -e 's/^ *package //' -e 's/ *; *$//'`
 
-echo "This project contains java packages:"
+echo "This project contains Java packages:"
 echo "$java_packages"
 
-# This won't work if code is in a subdir, e.g. src/com/example/project/Hello.java
+if [ -z "$java_packages" ]; then
+    echo "No Java packages: skipping"
+    exit 0
+fi
+
+# This won't work if code is in a subdir,
+# e.g. src/com/example/project/Hello.java
+
+# We need to convert the package name back to a path, and check
+# whether that matches the tail of the path to a java file that
+# declares itself to be in that package... but we don't have that list
+# of java files to hand here... hm
 
 javadoc -sourcepath "$hgdir" -d . -subpackages $java_packages -verbose
 
diff -r 97d27ad3df50 -r 2cec5c53cd68 public/themes/soundsoftware/stylesheets/application.css
--- a/public/themes/soundsoftware/stylesheets/application.css	Wed Feb 02 12:18:27 2011 +0000
+++ b/public/themes/soundsoftware/stylesheets/application.css	Wed Feb 02 17:04:56 2011 +0000
@@ -152,11 +152,13 @@
 .TableRowColor td { background-color: #fdfbf5; color: #000000; border: 0; }
 .NavBarCell1 { background-color: #ffe69b; color:#000000 }
 .embedded table { border: 0px solid #fff; }
+.embedded h1 { font-family: DroidSans, 'Liberation Sans', tahoma, verdana, sans-serif; }
 .embedded h3 { margin-top: 0.5em; }
 .embedded hr { color: #a9b680; background-color: #a9b680 }
 .embedded center { text-align: left; } /* haha */
 
 /* Special hack to hide the FRAMES | NO FRAMES links -- they don't
-   work in this context -- and right-align the All Classes link */
+   work in this context -- and right-align the All Classes and Detail links */
 .embedded .NavBarCell2 a[target=_top] { width: 0px; visibility: hidden; }
 .embedded .NavBarCell2 + .NavBarCell2 { text-align: right; }
+.embedded .NavBarCell3 + .NavBarCell3 { text-align: right; }