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