diff options
author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 23:30:05 +0000 |
---|---|---|
committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 23:30:05 +0000 |
commit | bdeb8561511e9869fe7b4735106e13b68b529eb8 (patch) | |
tree | e962c6543fdab0f842a6d242127e735d0347e99c /games/inform/Makefile | |
parent | Add OPTIONS_DEFINE=DOCS for ports with %%PORTDOCS%% in the plist. (diff) |
Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.
Notes
Notes:
svn path=/head/; revision=362015
Diffstat (limited to 'games/inform/Makefile')
-rw-r--r-- | games/inform/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/games/inform/Makefile b/games/inform/Makefile index c5f4a9195ccd..2bda60ae0865 100644 --- a/games/inform/Makefile +++ b/games/inform/Makefile @@ -22,6 +22,8 @@ NO_WRKSUBDIR= yes USES= zip:infozip MAKEFILE= ${FILESDIR}/Makefile.inform +OPTIONS_DEFINE= DOCS + post-install: @${MKDIR} ${STAGEDIR}${DATADIR} (cd ${STAGEDIR}${DATADIR} && \ |