51518d4d96
The gnome-extensions tool code is really independent from the rest of the code base, and could be used either as part of the gnome-shell build or as stand-alone project (for example for the extension-ci docker image). We can actually support both cases by moving the code to a subproject. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/877
12 lines
205 B
Meson
12 lines
205 B
Meson
option('man',
|
|
type: 'boolean',
|
|
value: true,
|
|
description: 'Generate man pages'
|
|
)
|
|
|
|
option('package_name',
|
|
type: 'string',
|
|
value: 'gnome-extensions-tool',
|
|
description: 'The gettext domain name'
|
|
)
|