cvsbp-prepare

   1 #!/bin/bash
   2
   3 # Try to copy documentation from Work dir
   4 CWD=`pwd`
   5 BASENAME=`basename ${CWD}`
   6 BASEDIR=`echo ${BASENAME} | sed -n 's/-[0-9].*$//p'`
   7 DOCDIR=/usr/local/src/Work/${BASEDIR}/doc
   8
   9 if [ -d ${DOCDIR} -a -d doc ]; then
  10   echo "Copying documentation"
  11   cp -a ${DOCDIR}/html ${DOCDIR}/*.pdf doc/.
  12 else
  13   echo "Unable to find documentation directory"
  14 fi
  15
  16 # Clean checked out CVS directory
  17 rm -f upload.sh make-dist.sh make-doc.sh cvsbp-prepare
  18 rm -f `find . -type f -name .cvsignore`
  19
  20 # Try to build documentation
  21 # Not used because PDF created at difference times or places will not match
  22 #if [ -f doc/Makefile ]; then
  23 #  pushd doc > /dev/null
  24 #  make
  25 #  popd > /dev/null
  26 #fi