r1977: *** empty log message ***
[ctsim.git] / cvsbp-prepare.sh
index 2c7a724df0cc1c6b6577ee4417ce1ccc5deace88..a67d0acffb267d59b3f7df97588ab6fa5965e031 100755 (executable)
@@ -5,11 +5,9 @@ set -e  # abort on error
 # 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