diff options
Diffstat (limited to 'games/spring/Makefile')
| -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" |