r1873: debian

[uffi.git] / make-dist.sh

diff --git a/make-dist.sh b/make-dist.sh
index 7aaa901685d486e9eec8402d3e481b03bcd35c0d..8d905bd605cb4a0fde83933eb9e241a9dc70f3b7 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -27,10 +27,9 @@ cp -a ${TOPDIR} ${DISTDIR}
 echo "Cleaning distribution directory ${DISTDIR}"
 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 '#*#' \
-    -exec rm -f {} \;
+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 -exec rm -f {} \;
+    -name \*.log -or -name \*.out -or -name \*.dvi | xargs rm -f
 
 echo "Creating upstream archives"
 rm -rf ${DISTDIR}/debian
@@ -43,7 +42,7 @@ find ${DISTDIR} -type f -name \*.cl -or -name \*.list -or \
     -name \*.system -or -name Makefile -or -name ChangeLog -or \
     -name COPYRIGHT -or -name TODO -or -name README -or -name INSTALL -or \
     -name NEWS -or -name \*.sgml -or -name COPYING\* -or -name catalog \
-    -exec unix2dos {} \;
+    | xargs unix2dos
 zip -rq ${DISTDIR}.zip ${DISTDIR}
 
 cp -a ${TOPDIR}/debian ${DEBDIR}