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/corewars | |
| parent | 44eaadcb751194bcef34890a161d4bf9a873a2a4 (diff) | |
Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.
Notes
Notes:
svn path=/head/; revision=362015
Diffstat (limited to 'games/corewars')
| -rw-r--r-- | games/corewars/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/games/corewars/Makefile b/games/corewars/Makefile index 9e2f2babc286..79d7426efbd5 100644 --- a/games/corewars/Makefile +++ b/games/corewars/Makefile @@ -18,6 +18,8 @@ CPPFLAGS+= -I${LOCALBASE}/include LDFLAGS+= -L${LOCALBASE}/lib USES= gmake +OPTIONS_DEFINE= DOCS + post-install: @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${WRKSRC}/README ${STAGEDIR}${DOCSDIR} |