[gedit/zbrown/deteplification-src: 43/633] build: rename option documentation -> gtk_doc

[Zander Brown <zbrown src gnome org>]

commit 3541ca15774dc5fd64d9cbc47e89c11a73767ea8
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue Nov 19 15:37:11 2019 +0100

    build: rename option documentation -> gtk_doc
    
    To follow the same option name as used by GLib (GLib can serve as a
    reference point).

 meson.build       | 2 +-
 meson_options.txt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/meson.build b/meson.build
index 451fd52a6..36bb9f090 100644
--- a/meson.build
+++ b/meson.build
@@ -160,7 +160,7 @@ if generate_vapi and not vapigen_dep.found()
   generate_vapi = false
 endif
 
-build_gtk_doc = get_option('documentation')
+build_gtk_doc = get_option('gtk_doc')
 if build_gtk_doc and not gtk_doc_dep.found()
   build_gtk_doc = false
 endif
diff --git a/meson_options.txt b/meson_options.txt
index 2039987df..43bc41429 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -10,7 +10,7 @@ option('plugins',
        type: 'boolean', value: true,
        description: 'Build core plugins')
 
-option('documentation',
+option('gtk_doc',
        type: 'boolean', value: false,
        description: 'Build API reference for plugins (requires gtk-doc)')