[gnome-todo] build: Rename 'gtk_doc' to 'documentation'

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 753179dee70619c674912a094fb17acdeb4d02df
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Wed Jun 20 23:31:49 2018 -0300

    build: Rename 'gtk_doc' to 'documentation'
    
    The current standard in GNOME is 'documentation' instead of
    'gtk_doc', so let's be good citizens and follow that and avoid
    future frustration because of not sticking to the standards.

 meson_options.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index f809050..1efc5a7 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -7,5 +7,5 @@ option('unscheduled_panel_plugin', type: 'boolean', value: true, description: 'e
 option('todo_txt_plugin', type: 'boolean', value: true, description: 'enable Todo.Txt plugin')
 option('todoist_plugin', type: 'boolean', value: true, description: 'enable Todoist plugin')
 option('tracing', type: 'boolean', value: false, description: 'enable application tracing')
-option('gtk_doc', type: 'boolean', value: false, description: 'use gtk-doc to build documentation')
+option('documentation', type: 'boolean', value: false, description: 'Use gtk-doc to build documentation')
 option('introspection', type: 'boolean', value: true, description: 'Enable GObject Introspection (depends on 
GObject)')