diff options
| author | adamw <adamw@FreeBSD.org> | 2014-07-16 07:30:05 +0800 |
|---|---|---|
| committer | adamw <adamw@FreeBSD.org> | 2014-07-16 07:30:05 +0800 |
| commit | 664628fe1271a3052d6fd5d6f32b5de28a849018 (patch) | |
| tree | e962c6543fdab0f842a6d242127e735d0347e99c /german | |
| parent | 9343eeba7783ac2ce4c8f5c88ab322647d489c19 (diff) | |
| download | freebsd-ports-gnome-664628fe1271a3052d6fd5d6f32b5de28a849018.tar.gz freebsd-ports-gnome-664628fe1271a3052d6fd5d6f32b5de28a849018.tar.zst freebsd-ports-gnome-664628fe1271a3052d6fd5d6f32b5de28a849018.zip | |
Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.
Diffstat (limited to 'german')
| -rw-r--r-- | german/mediathek/Makefile | 1 | ||||
| -rw-r--r-- | german/pecl-konto_check/Makefile | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/german/mediathek/Makefile b/german/mediathek/Makefile index 4ba27103e22b..0a6dfa87afbd 100644 --- a/german/mediathek/Makefile +++ b/german/mediathek/Makefile @@ -21,6 +21,7 @@ SUB_FILES= mediathek INSTALLFILES= MediathekView.jar MediathekView.ico INSTALLDOCS= Kurzanleitung.pdf Instructions.pdf +OPTIONS_DEFINE= DOCS OPTIONS_MULTI= BACKEND OPTIONS_MULTI_BACKEND= MPLAYER VLC diff --git a/german/pecl-konto_check/Makefile b/german/pecl-konto_check/Makefile index f16b850747bb..bef349a788e5 100644 --- a/german/pecl-konto_check/Makefile +++ b/german/pecl-konto_check/Makefile @@ -19,6 +19,8 @@ DEFAULT_PHP_VER=53 WRKSRC= ${WRKDIR}/php +OPTIONS_DEFINE= DOCS + post-extract: @${UNZIP_CMD} -q -d ${WRKDIR} ${WRKDIR}/php.zip |