diff options
author | Mathieu Arnold <mat@FreeBSD.org> | 2017-11-21 08:36:26 +0000 |
---|---|---|
committer | Mathieu Arnold <mat@FreeBSD.org> | 2017-11-21 08:36:26 +0000 |
commit | cbcfde370cef7387a49256b282612ed53b30ccdb (patch) | |
tree | 6b04110a85d89148a3db54227de18de5bdef3f5b /games/spring | |
parent | e47c568e5b1886e79421dfb99ca2e55fa130e8e6 (diff) | |
download | ports-cbcfde370cef7387a49256b282612ed53b30ccdb.tar.gz ports-cbcfde370cef7387a49256b282612ed53b30ccdb.zip |
Notes
Diffstat (limited to 'games/spring')
-rw-r--r-- | games/spring/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/spring/Makefile b/games/spring/Makefile index 2d91aef99d16..f6287203f382 100644 --- a/games/spring/Makefile +++ b/games/spring/Makefile @@ -57,7 +57,7 @@ PORTDATA= * OPTIONS_DEFINE= MANPAGES PR_DOWNLOADER DOCS OPTIONS_DEFAULT=MANPAGES PR_DOWNLOADER -OPTIONS_SUB= * +OPTIONS_SUB= yes HTMLDOCS_DESC= Build and install HTML documentation PR_DOWNLOADER_DESC= Map and game downloader |