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 /docs | |
| parent | 820d0140b59b64c345debd82265b69e59a70eb00 (diff) | |
| download | libmediaart-01c6eb37dc77120c6a05fb26e3e97ad19af53844.tar.gz | |
meson: Add with-docs option
Allows disabling the API reference docs.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/reference/libmediaart/meson.build | 16 |
1 files changed, 9 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 |