gnome-shell/subprojects/extensions-tool/meson_options.txt

option('man',
  type: 'boolean',
  value: true,
  description: 'Generate man pages'
)

option('package_name',
  type: 'string',
  value: 'gnome-extensions-tool',
  description: 'The gettext domain name'
)
extensions-tool: Move to a subproject 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 2019-12-02 18:07:01 -05:00			`option('man',`
			`type: 'boolean',`
			`value: true,`
			`description: 'Generate man pages'`
			`)`

			`option('package_name',`
			`type: 'string',`
			`value: 'gnome-extensions-tool',`
			`description: 'The gettext domain name'`
			`)`