r1927: *** empty log message ***

[uffi.git] / cvsbp-prepare

diff --git a/cvsbp-prepare b/cvsbp-prepare
index 8fb32902ff1a3a454382e45fadcd7700271dd6ce..cd9155b844c54320b0adc384bb6748c429b0138f 100755 (executable)
--- a/cvsbp-prepare
+++ b/cvsbp-prepare
@@ -1,7 +1,25 @@
+#!/bin/bash
+
+# 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
+
+# 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/.
+  echo "Unable to copy documentation"
 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