r1930: *** empty log message ***

[uffi.git] / cvsbp-prepare

diff --git a/cvsbp-prepare b/cvsbp-prepare
index cd9155b844c54320b0adc384bb6748c429b0138f..a5746cbffdc330af62e500b80144bf7e72e43d95 100755 (executable)
--- a/cvsbp-prepare
+++ b/cvsbp-prepare
@@ -1,25 +1,6 @@
 #!/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