r1928: *** empty log message ***
[uffi.git] / cvsbp-prepare
index cd9155b844c54320b0adc384bb6748c429b0138f..4c327702094b2bbc48a4f7a264a465fb902d76f4 100755 (executable)
@@ -1,9 +1,5 @@
 #!/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}`
@@ -12,10 +8,15 @@ 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"
+  cp -a ${DOCDIR}/html ${DOCDIR}/*.pdf doc/.
+else
+  echo "Unable to find documentation directory"
 fi
 
+# 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 build documentation 
 # Not used because PDF created at difference times or places will not match
 #if [ -f doc/Makefile ]; then