diff options
Diffstat (limited to '')
| -rw-r--r-- | lang/nhc98/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/nhc98/files/patch-configure b/lang/nhc98/files/patch-configure new file mode 100644 index 000000000000..5d5bf381a351 --- /dev/null +++ b/lang/nhc98/files/patch-configure @@ -0,0 +1,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 |