+set -e # abort on error
+
+# Make documentation to put in debian package
+# This must match prebuilt upstream documentation
+
+if [ -f doc/Makefile ]; then
+ cd doc
+ make all
+ cd ..
+else
+ echo "Unable to build documentation for CVS checked out package"
+ exit 1
+fi
+