r1937: *** empty log message ***
[uffi.git] / cvsbp-prepare
index 4c327702094b2bbc48a4f7a264a465fb902d76f4..53466b85f4472373c93a9f9f91741c62f9b302d3 100755 (executable)
@@ -1,26 +1,15 @@
 #!/bin/bash
 
-# Try to copy documentation from Work dir
-CWD=`pwd`
-BASENAME=`basename ${CWD}`
-BASEDIR=`echo ${BASENAME} | sed -n 's/-[0-9].*$//p'`
-DOCDIR=/usr/local/src/Work/${BASEDIR}/doc
+# Make documentation to put in debian package 
+# This must match prebuilt upstream documentation
 
-if [ -d ${DOCDIR} -a -d doc ]; then
-  echo "Copying documentation"
-  cp -a ${DOCDIR}/html ${DOCDIR}/*.pdf doc/.
-else
-  echo "Unable to find documentation directory"
+if [ -d doc/Makefile ]; then
+  cd doc
+  make all
+  cd ..
 fi
 
 # Clean checked out CVS directory
-rm -f upload.sh make-dist.sh make-doc.sh cvsbp-prepare
+rm -f upload.sh make-dist.sh make-doc.sh
 rm -f `find . -type f -name .cvsignore`
-
-# Try to build documentation 
-# Not used because PDF created at difference times or places will not match
-#if [ -f doc/Makefile ]; then
-#  pushd doc > /dev/null
-#  make
-#  popd > /dev/null
-#fi
+rm -f cvsbp-prepare