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
|