-# 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
-