diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2020-06-26 11:15:10 +0100 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2020-06-26 11:37:24 +0100 |
commit | 716158e6dec609bc973d4242c922cdb57bbcb7ad (patch) | |
tree | d621d979073bfdd2ba6ab7d3cfcdeefb374b51bd /docs | |
parent | 1479726abf1eec3faf6ff4407ade6d9ec4402c98 (diff) | |
download | gdk-pixbuf-716158e6dec609bc973d4242c922cdb57bbcb7ad.tar.gz |
Add `gtk_doc` build option
And deprecate the `docs` one.
The `gtk_doc` option is shared across GNOME modules, so we should
conform to the established practice.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/meson.build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/meson.build b/docs/meson.build index 4615bfaad..c7c8fe721 100644 --- a/docs/meson.build +++ b/docs/meson.build @@ -33,6 +33,10 @@ private_headers = [ ] if get_option('docs') + warning('The "docs" build option is deprecated; please use "gtk_doc=true"') +endif + +if get_option('gtk_doc') or get_option('docs') gnome.gtkdoc('gdk-pixbuf', main_xml: 'gdk-pixbuf.xml', src_dir: [ gdk_pixbuf_inc ], |