diff options
| author | mat <mat@FreeBSD.org> | 2018-09-10 21:14:50 +0800 |
|---|---|---|
| committer | mat <mat@FreeBSD.org> | 2018-09-10 21:14:50 +0800 |
| commit | 6baece3b7ae06d93445a0e0ecf02e59541a92a95 (patch) | |
| tree | eaf052562fa1ad9b232918eb5e617ac1df0dd725 /astro/marble | |
| parent | c6f82ca14271d2d9433ac4938a2188b9b6d092c1 (diff) | |
| download | freebsd-ports-gnome-6baece3b7ae06d93445a0e0ecf02e59541a92a95.tar.gz freebsd-ports-gnome-6baece3b7ae06d93445a0e0ecf02e59541a92a95.tar.zst freebsd-ports-gnome-6baece3b7ae06d93445a0e0ecf02e59541a92a95.zip | |
Add DOCS options to ports that should have one.
Also various fixes related to said option.
PR: 230864
Submitted by: mat
exp-runs by: antoine
Diffstat (limited to 'astro/marble')
| -rw-r--r-- | astro/marble/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/astro/marble/Makefile b/astro/marble/Makefile index 0e59d83491a3..2a2c4522e255 100644 --- a/astro/marble/Makefile +++ b/astro/marble/Makefile @@ -27,7 +27,7 @@ MAKE_ENV= XDG_CONFIG_HOME=/dev/null CMAKE_ARGS= -DMOBILE:BOOL=FALSE \ -DQT_IMPORTS_DIR:PATH=${QT_IMPORTDIR} -OPTIONS_DEFINE= GPS +OPTIONS_DEFINE= GPS DOCS OPTIONS_DEFAULT=GPS OPTIONS_SUB= yes |