--- configure.orig	Tue Jun 18 20:12:04 2002
+++ configure	Tue Jun 18 20:12:36 2002
@@ -385,8 +385,6 @@
     then mkdir -p $DESTDIR$BINDIR;  echo ' (created)'
     else echo ' (exists)'
     fi
-    echo "	harch"
-    cp script/harch $DESTDIR$BINDIR
     echo "	hat-graph"
     cp script/hat-graph $DESTDIR$BINDIR
     echo "	hat-trans"
@@ -402,7 +400,7 @@
         ln $DESTDIR$BINDIR/hat-template $DESTDIR$BINDIR/$hattool
     done
     echo
-    chmod +x $DESTDIR$BINDIR/harch $DESTDIR$BINDIR/hat-trans
+    chmod +x $DESTDIR$BINDIR/hat-trans
     chmod +x $DESTDIR$BINDIR/hat-template $DESTDIR$BINDIR/hat-graph
     rm $DESTDIR$BINDIR/hat-template
   else
