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