--- a/build/mkcmake.sh	Mon Dec 15 15:30:48 2008 +0000
+++ b/build/mkcmake.sh	Mon Dec 15 15:36:17 2008 +0000
@@ -1,21 +1,33 @@
 #!/bin/sh
 
+# build mode defaults to Release
 if [ -z "$1" ]; then
     BUILD_TYPE=Release
 else
     BUILD_TYPE="$1"
 fi
 
+# install prefix defaults to /tmp
 if [ -z "$2" ]; then
     INSTALL_PREFIX=/tmp
 else
     INSTALL_PREFIX="$2"
 fi
 
-echo "-- Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}"
+# detect doxygen from HUT /p/contrib
+if [ -x /p/contrib/bin/doxygen ]; then
+    echo "Detected doxygen in /p/contrib/bin/"
 
-cmake ../                                       \
-    -DCMAKE_BUILD_TYPE=${BUILD_TYPE}            \
-    -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX      \
-    -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion"
+    DOXYGEN_HOME=/p/contrib/bin
+fi
 
+# output parameters
+echo "*** Using BUILD_TYPE=${BUILD_TYPE}, INSTALL_PREFIX=${INSTALL_PREFIX}, DOXYGEN_HOME=${DOXYGEN_HOME}"
+
+# run cmake
+cmake ../                                           \
+    -DCMAKE_BUILD_TYPE=${BUILD_TYPE}                \
+    -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX          \
+    -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion"  \
+    -DDOXYGEN_HOME=${DOXYGEN_HOME}
+