aboutsummaryrefslogtreecommitdiff
path: root/devel/global/Makefile
diff options
context:
space:
mode:
authorAdam Weinberger <adamw@FreeBSD.org>2014-07-03 23:57:07 +0000
committerAdam Weinberger <adamw@FreeBSD.org>2014-07-03 23:57:07 +0000
commit82fc70fd02a693e131547b5aebe47817bbd683e1 (patch)
tree5e89dfc088ba8feff5421e300f6eb260a867a747 /devel/global/Makefile
parent3d9b49d653bccf2b8a9b326038fa2b5056ed96d7 (diff)
Notes
Diffstat (limited to 'devel/global/Makefile')
-rw-r--r--devel/global/Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/global/Makefile b/devel/global/Makefile
index a66ccbe22736..03b60abf57b3 100644
--- a/devel/global/Makefile
+++ b/devel/global/Makefile
@@ -20,11 +20,11 @@ DOCS= AUTHORS COPYING ChangeLog FAQ INSTALL LICENSE NEWS README THANKS
post-patch:
${REINPLACE_CMD} -E 's,^(gtags_DATA = )AUTHORS .* THANKS( \\$$),\1\2,' ${WRKSRC}/Makefile.in
+OPTIONS_DEFINE= DOCS
+
post-install:
-.if !defined(NOPORTDOCS)
- ${MKDIR} ${STAGEDIR}${DOCSDIR}/
- cd ${WRKSRC}/ && ${INSTALL_DATA} ${DOCS} ${STAGEDIR}${DOCSDIR}/
-.endif
+ ${MKDIR} ${STAGEDIR}${DOCSDIR}
+ cd ${WRKSRC} && ${INSTALL_DATA} ${DOCS} ${STAGEDIR}${DOCSDIR}
# This target is only meant to be used by the port maintainer.
x-generate-plist: