diff options
Diffstat (limited to 'games/battletanks/Makefile')
| -rw-r--r-- | games/battletanks/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/games/battletanks/Makefile b/games/battletanks/Makefile index a06516280915..a3d9f28c61bd 100644 --- a/games/battletanks/Makefile +++ b/games/battletanks/Makefile @@ -32,6 +32,8 @@ PORTDOCS= LICENSE LICENSE.EXCEPTION README-en.txt README-linux.txt \ DESKTOP_ENTRIES="Battle Tanks" "" "" "${PORTNAME}" "Game;ArcadeGame;" "" +OPTIONS_DEFINE= DOCS + pre-build: # Regenerate `sl08.h' after we patch `sl08.py' (as patching the header itself # would have resulted in a larger diff and gratuitous difference with Debian) |