diff options
author | Carlos Garnacho <carlosg@gnome.org> | 2017-08-10 13:12:43 +0200 |
---|---|---|
committer | Carlos Garnacho <carlosg@gnome.org> | 2017-08-10 13:12:43 +0200 |
commit | 01c6eb37dc77120c6a05fb26e3e97ad19af53844 (patch) | |
tree | e257080f991c24cd879ee68a3569a38d7eccf31e | |
parent | 820d0140b59b64c345debd82265b69e59a70eb00 (diff) | |
download | libmediaart-01c6eb37dc77120c6a05fb26e3e97ad19af53844.tar.gz |
meson: Add with-docs option
Allows disabling the API reference docs.
-rw-r--r-- | docs/reference/libmediaart/meson.build | 16 | ||||
-rw-r--r-- | meson_options.txt | 1 |
2 files changed, 10 insertions, 7 deletions
diff --git a/docs/reference/libmediaart/meson.build b/docs/reference/libmediaart/meson.build index 7ecb911..601ea43 100644 --- a/docs/reference/libmediaart/meson.build +++ b/docs/reference/libmediaart/meson.build @@ -1,8 +1,10 @@ -version_xml = configure_file(input: 'version.xml.in', - output: 'version.xml', - configuration: conf) +if get_option('with-docs') != 'no' + version_xml = configure_file(input: 'version.xml.in', + output: 'version.xml', + configuration: conf) -gnome.gtkdoc('libmediaart', - src_dir: 'libmediaart', - main_xml: 'libmediaart-docs.xml', - install: true) + gnome.gtkdoc('libmediaart', + src_dir: 'libmediaart', + main_xml: 'libmediaart-docs.xml', + install: true) +endif diff --git a/meson_options.txt b/meson_options.txt index 9fc8221..6169e46 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -1,2 +1,3 @@ option('image_library', type: 'combo', choices: ['auto', 'gdk-pixbuf', 'qt4', 'qt5'], description: 'Which image processing backend to use') +option('with-docs', type : 'combo', choices : ['auto', 'yes', 'no'], value : 'auto') |