PATCH: RE: PATCH: Re: Something weird with modules aliases

["Andrej Borsenkow" <Andrej.Borsenkow@mow.siemens.ru>]

> 
> Andrej Borsenkow wrote:
> >bor@itsrm2% find . -name '?*.*' -prune -o -name .preconfig -print
> 
> That should be fine.  We should make the same changes in mkdisttree.sh.
> 

Hope, it will not be mangled (why zsh-workers do not like MIME?)

--- Util/mkdisttree.sh.org      Wed Dec  8 21:16:29 1999
+++ Util/mkdisttree.sh  Thu Dec 23 18:02:07 1999
@@ -46,7 +46,7 @@
 trap 'rm -f $filelist; rm -rf $disttree; exit 1' 1 2 15
 (
     cd $sdir_top
-    find . \( -name '*.*' -prune \) -o \( -name .distfiles -print \)
+    find . \( -name '*.*' -prune \) -o  -name .distfiles -print 
 ) > $filelist
 ( while read dfn; do
     subdir=`echo $dfn | sed 's,/\.distfiles$,,'`
--- Util/preconfig.org  Thu Dec 23 01:02:59 1999
+++ Util/preconfig      Thu Dec 23 18:02:22 1999
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-find . \( -name '?*.*' -prune \) -o \( -name .preconfig -print \) | (
+find . \( -name '?*.*' -prune \) -o  -name .preconfig -print  | (
     while read pre; do
        cmd=`echo $pre | sed 's,^,cd ,;s,/\([^/]*\)$, \&\& ./\1,'`
        echo >&2 "$cmd"