From f3bc3a9bfb430f7e827193160a4019123bb97be4 Mon Sep 17 00:00:00 2001 From: pat Date: Tue, 18 Jun 2002 22:28:45 +0000 Subject: Do not install hat-replated manpages. PR: 39480 Submitted by: maintainer --- devel/hat/Makefile | 5 ++--- devel/hat/files/patch-configure | 11 +++++++++++ devel/hs-hat/Makefile | 5 ++--- devel/hs-hat/files/patch-configure | 11 +++++++++++ lang/nhc98/Makefile | 5 ++--- lang/nhc98/files/patch-configure | 11 +++++++++++ 6 files changed, 39 insertions(+), 9 deletions(-) create mode 100644 devel/hat/files/patch-configure create mode 100644 devel/hs-hat/files/patch-configure create mode 100644 lang/nhc98/files/patch-configure diff --git a/devel/hat/Makefile b/devel/hat/Makefile index e3a9d7646ffd..0ab89a38c97c 100644 --- a/devel/hat/Makefile +++ b/devel/hat/Makefile @@ -16,7 +16,7 @@ MAINTAINER= obraun@informatik.unibw-muenchen.de .include .if ${OSVERSION} >= 500000 -BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc +BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc .endif WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} @@ -32,8 +32,7 @@ CONFIGURE_ARGS+= --buildwith=ghc CONFIGURE_ARGS+= --docdir=${PREFIX}/share/doc/nhc98 +docs .endif -MAN1= harch.1 hmake.1 hp2graph.1 nhc98.1 \ - hat-detect.1 hat-observe.1 hat-stack.1 hat-trail.1 +MAN1= harch.1 hmake.1 hp2graph.1 nhc98.1 post-patch: @${REINPLACE_CMD} -e 's|-O3|${CFLAGS}|' ${WRKSRC}/Makefile.inc diff --git a/devel/hat/files/patch-configure b/devel/hat/files/patch-configure new file mode 100644 index 000000000000..5d5bf381a351 --- /dev/null +++ b/devel/hat/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 diff --git a/devel/hs-hat/Makefile b/devel/hs-hat/Makefile index e3a9d7646ffd..0ab89a38c97c 100644 --- a/devel/hs-hat/Makefile +++ b/devel/hs-hat/Makefile @@ -16,7 +16,7 @@ MAINTAINER= obraun@informatik.unibw-muenchen.de .include .if ${OSVERSION} >= 500000 -BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc +BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc .endif WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} @@ -32,8 +32,7 @@ CONFIGURE_ARGS+= --buildwith=ghc CONFIGURE_ARGS+= --docdir=${PREFIX}/share/doc/nhc98 +docs .endif -MAN1= harch.1 hmake.1 hp2graph.1 nhc98.1 \ - hat-detect.1 hat-observe.1 hat-stack.1 hat-trail.1 +MAN1= harch.1 hmake.1 hp2graph.1 nhc98.1 post-patch: @${REINPLACE_CMD} -e 's|-O3|${CFLAGS}|' ${WRKSRC}/Makefile.inc diff --git a/devel/hs-hat/files/patch-configure b/devel/hs-hat/files/patch-configure new file mode 100644 index 000000000000..5d5bf381a351 --- /dev/null +++ b/devel/hs-hat/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 diff --git a/lang/nhc98/Makefile b/lang/nhc98/Makefile index e3a9d7646ffd..0ab89a38c97c 100644 --- a/lang/nhc98/Makefile +++ b/lang/nhc98/Makefile @@ -16,7 +16,7 @@ MAINTAINER= obraun@informatik.unibw-muenchen.de .include .if ${OSVERSION} >= 500000 -BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc +BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc .endif WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} @@ -32,8 +32,7 @@ CONFIGURE_ARGS+= --buildwith=ghc CONFIGURE_ARGS+= --docdir=${PREFIX}/share/doc/nhc98 +docs .endif -MAN1= harch.1 hmake.1 hp2graph.1 nhc98.1 \ - hat-detect.1 hat-observe.1 hat-stack.1 hat-trail.1 +MAN1= harch.1 hmake.1 hp2graph.1 nhc98.1 post-patch: @${REINPLACE_CMD} -e 's|-O3|${CFLAGS}|' ${WRKSRC}/Makefile.inc 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 -- cgit