multimedia/playerctl: rename option 'DOC' to 'DOCS'

PR:		253493
Submitted by:	Aaron LI <aly@aaronly.me>  (maintainer)
This commit is contained in:
Tobias C. Berner 2021-02-14 07:00:52 +00:00
parent 99e47f92e2
commit ac61355a39
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=565206
2 changed files with 24 additions and 22 deletions

View file

@ -3,6 +3,7 @@
PORTNAME= playerctl
DISTVERSION= 2.3.1
PORTREVISION= 1
CATEGORIES= multimedia audio
MASTER_SITES= https://github.com/altdesktop/${PORTNAME}/releases/download/v${DISTVERSION}/
@ -21,12 +22,13 @@ MESON_ARGS+= -Dbash-completions=true -Dzsh-completions=true
PLIST_SUB= VERSION=${DISTVERSION}
OPTIONS_DEFINE= DOC INTROSPECTION
OPTIONS_DEFINE= DOCS INTROSPECTION
OPTIONS_SUB= yes
DOC_DESC= Build GTK documentation
DOC_BUILD_DEPENDS= gtkdoc-scan:textproc/gtk-doc
DOC_MESON_TRUE= gtk-doc
DOCS_DESC= Build GTK documentation
DOCS_BUILD_DEPENDS= gtkdoc-scan:textproc/gtk-doc
DOCS_MESON_TRUE= gtk-doc
DOCSDIR= ${PREFIX}/share/gtk-doc/html/${PORTNAME}
INTROSPECTION_DESC= Build GObject Introspection
INTROSPECTION_USE= gnome=introspection:build

View file

@ -16,22 +16,22 @@ man/man1/playerctl.1.gz
share/bash-completion/completions/playerctl.bash
share/dbus-1/services/org.mpris.MediaPlayer2.playerctld.service
%%INTROSPECTION%%share/gir-1.0/Playerctl-2.0.gir
%%DOC%%share/gtk-doc/html/playerctl/PlayerctlPlayer.html
%%DOC%%share/gtk-doc/html/playerctl/PlayerctlPlayerManager.html
%%DOC%%share/gtk-doc/html/playerctl/annotation-glossary.html
%%DOC%%share/gtk-doc/html/playerctl/api-index-full.html
%%DOC%%share/gtk-doc/html/playerctl/ch01.html
%%DOC%%share/gtk-doc/html/playerctl/deprecated-api-index.html
%%DOC%%share/gtk-doc/html/playerctl/home.png
%%DOC%%share/gtk-doc/html/playerctl/index.html
%%DOC%%share/gtk-doc/html/playerctl/left-insensitive.png
%%DOC%%share/gtk-doc/html/playerctl/left.png
%%DOC%%share/gtk-doc/html/playerctl/object-tree.html
%%DOC%%share/gtk-doc/html/playerctl/playerctl-playerctl-player-name.html
%%DOC%%share/gtk-doc/html/playerctl/playerctl.devhelp2
%%DOC%%share/gtk-doc/html/playerctl/right-insensitive.png
%%DOC%%share/gtk-doc/html/playerctl/right.png
%%DOC%%share/gtk-doc/html/playerctl/style.css
%%DOC%%share/gtk-doc/html/playerctl/up-insensitive.png
%%DOC%%share/gtk-doc/html/playerctl/up.png
%%PORTDOCS%%%%DOCSDIR%%/PlayerctlPlayer.html
%%PORTDOCS%%%%DOCSDIR%%/PlayerctlPlayerManager.html
%%PORTDOCS%%%%DOCSDIR%%/annotation-glossary.html
%%PORTDOCS%%%%DOCSDIR%%/api-index-full.html
%%PORTDOCS%%%%DOCSDIR%%/ch01.html
%%PORTDOCS%%%%DOCSDIR%%/deprecated-api-index.html
%%PORTDOCS%%%%DOCSDIR%%/home.png
%%PORTDOCS%%%%DOCSDIR%%/index.html
%%PORTDOCS%%%%DOCSDIR%%/left-insensitive.png
%%PORTDOCS%%%%DOCSDIR%%/left.png
%%PORTDOCS%%%%DOCSDIR%%/object-tree.html
%%PORTDOCS%%%%DOCSDIR%%/playerctl-playerctl-player-name.html
%%PORTDOCS%%%%DOCSDIR%%/playerctl.devhelp2
%%PORTDOCS%%%%DOCSDIR%%/right-insensitive.png
%%PORTDOCS%%%%DOCSDIR%%/right.png
%%PORTDOCS%%%%DOCSDIR%%/style.css
%%PORTDOCS%%%%DOCSDIR%%/up-insensitive.png
%%PORTDOCS%%%%DOCSDIR%%/up.png
share/zsh/site-functions/_playerctl