diff options
Diffstat (limited to 'x11/gtk-theme-switch/Makefile')
| -rw-r--r-- | x11/gtk-theme-switch/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x11/gtk-theme-switch/Makefile b/x11/gtk-theme-switch/Makefile index cbeabc9599cf..c2739cf8d23c 100644 --- a/x11/gtk-theme-switch/Makefile +++ b/x11/gtk-theme-switch/Makefile @@ -14,6 +14,8 @@ COMMENT= Command line tool for switching GTK+ themes USE_GNOME= gtk12 USES= gmake +OPTIONS_DEFINE= DOCS + .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDOCS} |