#!/bin/bash
# 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 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
+rm -f cvsbp-prepare