#!/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`
-
# Try to copy documentation from Work dir
CWD=`pwd`
BASENAME=`basename ${CWD}`
if [ -d ${DOCDIR} -a -d doc ]; then
echo "Copying documentation"
- cp -a ${DOCDIR}/html ${DOCDIR}/*pdf doc/.
- echo "Unable to copy 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`
+
# Try to build documentation
# Not used because PDF created at difference times or places will not match
#if [ -f doc/Makefile ]; then