diff options
| author | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-10-19 08:19:13 +0000 |
|---|---|---|
| committer | Tobias Kortkamp <tobik@FreeBSD.org> | 2019-10-19 08:19:13 +0000 |
| commit | fcd5b08a2b44974005993995ff94e2cf8ce7c7a2 (patch) | |
| tree | c61f29833c8c4d4ffd0ee4c1e5c6f41348f91198 /games/spring | |
| parent | 718bd6bfef988f575aece7fc67f08cc245349b7f (diff) | |
| download | ports-fcd5b08a2b44974005993995ff94e2cf8ce7c7a2.tar.gz ports-fcd5b08a2b44974005993995ff94e2cf8ce7c7a2.zip | |
Notes
Diffstat (limited to 'games/spring')
| -rw-r--r-- | games/spring/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/games/spring/Makefile b/games/spring/Makefile index 0b3446f06913..9cc6b45623c5 100644 --- a/games/spring/Makefile +++ b/games/spring/Makefile @@ -58,7 +58,6 @@ OPTIONS_DEFINE= MANPAGES PR_DOWNLOADER DOCS OPTIONS_DEFAULT=MANPAGES PR_DOWNLOADER OPTIONS_SUB= yes -HTMLDOCS_DESC= Build and install HTML documentation PR_DOWNLOADER_DESC= Map and game downloader MANPAGES_CMAKE_ON= -DCREATE_MAN_PAGES:BOOL=true -DMANDIR:STRING="man" |