--- Make/instexamplesrc 2003-07-19 17:55:18.000000000 +0000 +++ Make/instexamplesrc 2004-08-19 18:56:53.583670965 +0000 @@ -32,7 +32,7 @@ cd $TOPDIR/examples/$d [ -d $INST_EXAMPLE_SRC/$d ] || mkdir -m 0755 -p $INST_EXAMPLE_SRC/$d echo " installing $d" - for f in `$MAKE __instfiles | grep -v $MAKE` + for f in `$MAKE __instfiles | grep -v ^$MAKE` do src=`echo $f | cut -f1 -d"="` dst=`echo $f | cut -f2 -d"="`