-# Make documentation to put in debian package
-# This must match prebuilt upstream documentation
-
-if [ -f make-doc.sh ]; then
- echo "Making upstream documentation for CVS checked-out package"
- ./make-doc.sh
-else
- echo "Unable to build documentation for CVS checked out package"
- exit 1
-fi
-