diff options
Diffstat (limited to 'devel')
-rw-r--r-- | devel/callgrind/Makefile | 6 | ||||
-rw-r--r-- | devel/callgrind/pkg-plist | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/devel/callgrind/Makefile b/devel/callgrind/Makefile index 952888639849..ca1f016a7a01 100644 --- a/devel/callgrind/Makefile +++ b/devel/callgrind/Makefile @@ -31,4 +31,10 @@ RUN_DEPENDS= valgrind:${PORTSDIR}/devel/valgrind BUILD_DEPENDS= valgrind:${PORTSDIR}/devel/valgrind .endif +pre-patch: +.ifdef(NOPORTDOCS) + ${FIND} ${WRKSRC} -name "Makefile.in" -exec \ + ${REINPLACE_CMD} -e "s/docs//g" {} \; +.endif + .include <bsd.port.post.mk> diff --git a/devel/callgrind/pkg-plist b/devel/callgrind/pkg-plist index 77f7224a7c98..665c73cf7a4a 100644 --- a/devel/callgrind/pkg-plist +++ b/devel/callgrind/pkg-plist @@ -3,5 +3,5 @@ bin/callgrind_annotate bin/callgrind_control include/valgrind/callgrind.h lib/valgrind/vgskin_callgrind.so -share/doc/valgrind/ct_main.html -share/doc/valgrind/ct_techdocs.html +%%PORTDOCS%%share/doc/valgrind/ct_main.html +%%PORTDOCS%%share/doc/valgrind/ct_techdocs.html |