diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-10 14:19:31 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-10 14:19:31 +0100 |
| commit | e530801f078418f0eab5b4e048c9dc40a1491e24 (patch) | |
| tree | 4250d0874f309d1982375a8794eb56433d5e3912 | |
| parent | 2d120f4bbd8caa82994658ab0689600cd6386d05 (diff) | |
| download | appstream-glib-e530801f078418f0eab5b4e048c9dc40a1491e24.tar.gz | |
build: Add options for building API docs and man pages
It's not always possible, or advisable, to build documentation; we
should have configuration time switches to control the build of these
components.
| -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 5289be5..e8c7f55 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -4,3 +4,5 @@ option('enable-rpm', type : 'boolean', value : true, description : 'enable RPM s option('enable-alpm', type : 'boolean', value : false, description : 'enable ALPM support') option('enable-fonts', type : 'boolean', value : true, description : 'enable font support') option('enable-stemmer', type : 'boolean', value : true, description : 'enable stemmer support') +option('enable-man', type : 'boolean', value : true, description : 'generate man pages') +option('enable-gtk-doc', type : 'boolean', value : false, description : 'generate API reference') |