[json-glib: 3/7] Rename 'docs' option to 'gtk_doc'

[Emmanuele Bassi <ebassi src gnome org>]

commit 8d6176451f9d7cd4d6660185c679733aee3b57ea
Author: Xavier Claessens <xavier claessens collabora com>
Date:   Sat Oct 27 07:30:09 2018 -0400

    Rename 'docs' option to 'gtk_doc'

 doc/meson.build   | 2 +-
 meson_options.txt | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/doc/meson.build b/doc/meson.build
index 901a698..43e110f 100644
--- a/doc/meson.build
+++ b/doc/meson.build
@@ -1,4 +1,4 @@
-if get_option('docs')
+if find_program('gtkdoc-scan', required : get_option('gtk_doc')).found()
   subdir('xml')
 
   private_headers = [
diff --git a/meson_options.txt b/meson_options.txt
index aba8129..a6b2a51 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,8 +1,8 @@
 option('introspection',
        type: 'feature', value: 'auto', yield: true,
        description: 'Build the introspection data (requires gobject-introspection)')
-option('docs',
-       type: 'boolean', value: false,
+option('gtk_doc',
+       type: 'feature', value: 'auto', yield: true,
        description: 'Build the API reference (requires gtk-doc)')
 option('man',
        type: 'boolean', value: false,