--- configure.orig	Tue Jun 18 20:21:59 2002
+++ configure	Tue Jun 18 20:24:20 2002
@@ -748,7 +748,7 @@
     then mkdir -p $DESTDIR$MANDIR;  echo ' (created)'
     else echo ' (exists)'
     fi
-    for file in man/*
+    for file in man/harch.1 man/hmake.1 man/hp2graph.1 man/nhc98.1
     do
       echo "	`basename $file` "
       cp $file $DESTDIR$MANDIR