[gedit/zbrown/deteplification-src: 42/633] build: rename option user-documentation -> user_documentation

[Zander Brown <zbrown src gnome org>]

commit 9b7bfa3df86c869af3d22f37fd891e0fe7eb0bfb
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue Nov 19 15:26:31 2019 +0100

    build: rename option user-documentation -> user_documentation
    
    The convention is to have underscores for options. For example that's
    what GLib uses (GLib can serve as a reference point).

 meson.build       | 4 ++--
 meson_options.txt | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/meson.build b/meson.build
index cc8a2e0a8..451fd52a6 100644
--- a/meson.build
+++ b/meson.build
@@ -187,7 +187,7 @@ endif
 
 subdir('docs')
 
-if get_option('user-documentation')
+if get_option('user_documentation')
   subdir('help')
 endif
 
@@ -197,7 +197,7 @@ summary = [
   'gedit @0@ (@1@)'.format(version, api_version),
   '',
   '       API docs: @0@'.format(build_gtk_doc),
-  '      User docs: @0@'.format(get_option('user-documentation')),
+  '      User docs: @0@'.format(get_option('user_documentation')),
   '  Introspection: @0@'.format(generate_gir),
   '        Plugins: @0@'.format(build_plugins),
   '       Vala API: @0@'.format(generate_vapi),
diff --git a/meson_options.txt b/meson_options.txt
index 71ea9cd25..2039987df 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -15,7 +15,7 @@ option('documentation',
        description: 'Build API reference for plugins (requires gtk-doc)')
 
 # This option exists for the developers, to speed up the install.
-option('user-documentation',
+option('user_documentation',
        type: 'boolean', value: true,
        description: 'Build user documentation')