r1916: *** empty log message ***

[uffi.git] / make-dist.sh

diff --git a/make-dist.sh b/make-dist.sh
index 135cbcd3a261430c0df19ba3e809a97938832087..d88be3c19332e513e1170732438ac6add66e82c2 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -38,7 +38,7 @@ find ${DISTDIR} -type f -name .cvsignore -exec rm -f {} \;
 rm -rf `find ${DISTDIR} -type d -name CVS`
 rm -f `find ${DISTDIR} -type f -name '*~' -or -name '#*'  -or -name '#*#'`
 rm -f `find ${DISTDIR}/doc -type f -name \*.tex -or -name \*.aux -or \
-  -name \*.log -or -name \*.out -or -name \*.dvi -or -name bp`
+  -name \*.log -or -name \*.out -or -name \*.dvi -or -name copy`
 
 echo "Creating upstream archives"
 rm -rf ${DISTDIR}/debian