X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=make-dist.sh;h=85f7c7943eadb383eed87fe8d447579ec36b0188;hb=699887ba01339e2e1268b8d46ff524d1eb6a5ae5;hp=306e79b08ff243699cdd534c43ecb91b38e9235a;hpb=8de1da92cf18dd5341b3472a192fe52d34ca465a;p=uffi.git 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