diff options
Diffstat (limited to 'devel/dissy/Makefile')
| -rw-r--r-- | devel/dissy/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/dissy/Makefile b/devel/dissy/Makefile index a25c1a5c916b..63b7cfead85b 100644 --- a/devel/dissy/Makefile +++ b/devel/dissy/Makefile @@ -24,6 +24,8 @@ GH_TAGNAME= 2f1005e PORTDOCS= COPYING ChangeLog README UPGRADE +OPTIONS_DEFINE= DOCS + post-install: @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/,} ${STAGEDIR}${DOCSDIR} |