diff options
Diffstat (limited to 'graphics/deegree-wpvs/Makefile')
| -rw-r--r-- | graphics/deegree-wpvs/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/graphics/deegree-wpvs/Makefile b/graphics/deegree-wpvs/Makefile index dc814c25b987..608895364e67 100644 --- a/graphics/deegree-wpvs/Makefile +++ b/graphics/deegree-wpvs/Makefile @@ -30,6 +30,9 @@ OPTIONS_SINGLE_AS= TOMCAT6 TOMCAT7 OPTIONS_DEFAULT= TOMCAT6 NO_STAGE= yes + +OPTIONS_DEFINE= DOCS + .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MTOMCAT6} |