--- a/build/mkcmake.sh	Thu Jan 15 20:38:23 2009 +0200
+++ b/build/mkcmake.sh	Thu Jan 15 21:33:54 2009 +0200
@@ -26,7 +26,7 @@
 if [ -x /p/contrib/bin/doxygen ]; then
     echo "Detected doxygen in /p/contrib/bin/"
 
-    DOXYGEN_HOME=/p/contrib/bin
+    export DOXYGEN_HOME=/p/contrib/bin
 fi
 
 # output parameters
@@ -38,6 +38,6 @@
     -DCMAKE_BUILD_TYPE=${BUILD_TYPE}                \
     -DCMAKE_INSTALL_PREFIX=$INSTALL_PREFIX          \
     -DCMAKE_CXX_FLAGS="-Wall -Wextra -Wconversion"  \
-    -DDOXYGEN_HOME=${DOXYGEN_HOME}                  \
+#    -DDOXYGEN_HOME=${DOXYGEN_HOME}                  \
     ${EXTRA_OPTS}