From 716158e6dec609bc973d4242c922cdb57bbcb7ad Mon Sep 17 00:00:00 2001
From: Emmanuele Bassi <ebassi@gnome.org>
Date: Fri, 26 Jun 2020 11:15:10 +0100
Subject: 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.
---
 meson.build | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'meson.build')

diff --git a/meson.build b/meson.build
index bd4f0dff6..8349e5f3b 100644
--- a/meson.build
+++ b/meson.build
@@ -414,6 +414,7 @@ if not meson.is_cross_build()
 endif
 
 # Documentation
+build_docs = get_option('gtk_doc') or get_option('docs')
 subdir('docs')
 
 if not meson.is_cross_build()
@@ -444,7 +445,7 @@ summary = [
   '',
   '  enabled loaders: @0@'.format(' '.join(enabled_loaders)),
   '',
-  '    documentation: @0@'.format(get_option('docs')),
+  '    documentation: @0@'.format(build_docs),
   '        man pages: @0@'.format(get_option('man')),
   '    introspection: @0@'.format(get_option('gir')),
   '  installed tests: @0@'.format(get_option('installed_tests')),
-- 
cgit v1.2.1