r1870: debian changes

diff --git a/make-dist.sh b/make-dist.sh
index 85f7c7943eadb383eed87fe8d447579ec36b0188..fbad02e8fbebdd9c6d9cb99a799474898fae8b9f 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -x
 
 # Creates debian and system-independent archive files
 # Programmer: Kevin Rosenberg based on script used by onShore Development
@@ -14,7 +14,7 @@ DISTDIR=${PKG}-${VERSION}
 DEBDIR=${DEBPKG}-${VERSION}
 
 TAG=upstream_version_`echo $VERSION | tr . _`
-echo "(re)tagging with release tag '$TAG'"
+#echo "(re)tagging with release tag '$TAG'"
 #cvs -q rtag -d $TAG $PKG
 #cvs -q tag -F $TAG
 
@@ -29,7 +29,7 @@ cp -a ${TOPDIR} ${DISTDIR}
 # Remove junk from distribution dir
 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} -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