r1928: *** empty log message ***
[uffi.git] / cvsbp-prepare
index 8fb32902ff1a3a454382e45fadcd7700271dd6ce..4c327702094b2bbc48a4f7a264a465fb902d76f4 100755 (executable)
@@ -1,7 +1,26 @@
+#!/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
+
+if [ -d ${DOCDIR} -a -d doc ]; then
+  echo "Copying documentation"
+  cp -a ${DOCDIR}/html ${DOCDIR}/*.pdf doc/.
+else
+  echo "Unable to find documentation directory"
+fi
+
+# Clean checked out CVS directory
 rm -f upload.sh make-dist.sh make-doc.sh cvsbp-prepare
 rm -f `find . -type f -name .cvsignore`
-if [ -f doc/Makefile ]; then
-  pushd doc > /dev/null
-  make
-  popd > /dev/null
-fi
+
+# 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