mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
5c5dc03b78
Whether we install bash-completion support currently depends on whether the corresponding pkg-config dependency is found. Turning this into a feature option keeps that behavior by default, but also allows to explicitly enable or disable the support. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1072
17 lines
328 B
Meson
17 lines
328 B
Meson
option('man',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Generate man pages',
|
|
yield: true,
|
|
)
|
|
|
|
option('bash_completion',
|
|
type: 'feature',
|
|
value: 'auto',
|
|
description: 'Install bash completion support',
|
|
)
|
|
|
|
option('package_name',
|
|
type: 'string',
|
|
description: 'The gettext domain name when used as a subproject'
|
|
)
|