diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-05 11:34:05 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-05 11:35:31 +0100 |
| commit | db2c80d9dbac0b985ed79a895284d129731d16df (patch) | |
| tree | 1f2ae59a9d240a6ef87e0a36df60cc080d7d1661 /meson_options.txt | |
| parent | 777906e26cadccfff29a03a889c776653c35c564 (diff) | |
| download | gtk+-db2c80d9dbac0b985ed79a895284d129731d16df.tar.gz | |
meson: Generate man pages for the installed tools
Diffstat (limited to 'meson_options.txt')
| -rw-r--r-- | meson_options.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index 55ea5382dc..518cecf535 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -30,3 +30,5 @@ option('with-included-immodules', type: 'string', value : '', description : 'Build the specified input methods into gtk (comma-separated list or "all" or "none")') option('enable-documentation', type: 'boolean', value: 'false', description : 'Build API reference and tools documentation') +option('enable-man-pages', type: 'boolean', value: 'false', + description : 'Build man pages for installed tools') |