#!/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}`
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