r1964: *** empty log message ***

[uffi.git] / cvsbp-prepare

diff --git a/cvsbp-prepare b/cvsbp-prepare
index c4f321ac27e2f86c4490490ad5dca25a31f97738..8e70e0a6f1587f9d248ebb4f1e905acdefaf3a50 100755 (executable)
--- a/cvsbp-prepare
+++ b/cvsbp-prepare
@@ -1,12 +1,17 @@
 #!/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