summaryrefslogtreecommitdiff
path: root/devel/hs-hat/files/patch-configure
blob: 5d5bf381a351404e72c6a02eaa017ed14873a41b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
--- 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