diff -r 8e3f006b9b1e -r 38ddad39f08f tools/docgen.sh
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/docgen.sh Tue Oct 25 03:00:08 2011 +0200
@@ -0,0 +1,37 @@
+#!/bin/sh
+
+
+if [ -d QTfrontend ]; then
+ cd QTfrontend
+else
+ if [ -d ../QTfrontend ]; then
+ cd ../QTfrontend
+ else
+ echo 'abort: Directory "QTfrontend" not found!' >&2
+ exit 1
+ fi
+fi
+
+if [ -z "$1" ]; then
+ OUTPUT_DIRECTORY="../doc/QTfrontend"
+else
+ OUTPUT_DIRECTORY="$1"
+fi
+
+echo "Creating documentation for Qt-Frontend in $OUTPUT_DIRECTORY ..."
+
+if [ $(which hg) ]; then
+
+branch=$(hg identify -b)
+rev=$(hg identify -rdefault -i)
+
+branchurl="${branch}"
+revurl="${rev}"
+
+export PROJECT_NUMBER="${branchurl} as of ${revurl}"
+export OUTPUT_DIRECTORY
+
+fi
+
+doxygen
+exit $?