diff options
Diffstat (limited to 'games/thudboard/Makefile')
| -rw-r--r-- | games/thudboard/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/games/thudboard/Makefile b/games/thudboard/Makefile index 3a6f0a5a098d..77ab86f76e0b 100644 --- a/games/thudboard/Makefile +++ b/games/thudboard/Makefile @@ -17,6 +17,8 @@ USE_PYTHON= yes SUB_FILES= thudboard +OPTIONS_DEFINE= DOCS + post-patch: ${REINPLACE_CMD} -e 's|file:.*/docs|file://${DOCSDIR}|' \ ${WRKDIR}/thud.py |