From 699887ba01339e2e1268b8d46ff524d1eb6a5ae5 Mon Sep 17 00:00:00 2001 From: "Kevin M. Rosenberg" Date: Fri, 3 May 2002 02:35:36 +0000 Subject: [PATCH] r1869: *** empty log message *** --- make-dist.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/make-dist.sh b/make-dist.sh index 306e79b..85f7c79 100755 --- a/make-dist.sh +++ b/make-dist.sh @@ -27,8 +27,8 @@ rm -rf ${DISTDIR} ${DEBDIR} ${DISTDIR}.zip cp -a ${TOPDIR} ${DISTDIR} # Remove junk from distribution dir -find ${DISTDIR} -type f -name .cvsignore -exec rm {} \; -find ${DISTDIR} -type d -name CVS | xargs rm -r +find ${DISTDIR} -type f -name .cvsignore -exec rm -f {} \; +find ${DISTDIR} -type d -name CVS | xargs rm -rf find ${DISTDIR} -type f -name *~ -or -name \#* -or -name \#*\# |xargs rm -f find ${DISTDIR}/doc -type f -name *.tex -or -name *.aux -or \ -name *.log -or -name *.out -or -name *.dvi | xargs rm -f -- 2.34.1