[gedit] build: rename option documentation -> gtk_doc

[Sébastien Wilmet <swilmet src gnome org>]

commit 9af1a369ede88c771c53678d4a349686eeec5014
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 82e3c8551..04809321c 100644
--- a/meson.build
+++ b/meson.build
@@ -148,7 +148,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 bc8272d92..5a518f8f0 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)')