[gedit] build: add user-documentation option

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

commit 1ebdc5ae519f9e3a7358806aaa79a6c1f05371e5
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue Nov 12 13:25:54 2019 +0100

    build: add user-documentation option
    
    That option was present with Autotools.
    
    Building the user docs takes a long time when doing `ninja install`.
    So when doing gedit development, the option can be set to false.

 meson.build       | 8 ++++++--
 meson_options.txt | 5 +++++
 2 files changed, 11 insertions(+), 2 deletions(-)
---
diff --git a/meson.build b/meson.build
index c62271637..c9de10865 100644
--- a/meson.build
+++ b/meson.build
@@ -188,14 +188,18 @@ if build_plugins == true
 endif
 
 subdir('docs')
-subdir('help')
+
+if get_option('user-documentation')
+  subdir('help')
+endif
 
 summary = [
   '',
   '------',
   'gedit @0@ (@1@)'.format(version, api_version),
   '',
-  '  Documentation: @0@'.format(build_gtk_doc),
+  '       API docs: @0@'.format(build_gtk_doc),
+  '      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 23471e6e0..71ea9cd25 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -14,6 +14,11 @@ option('documentation',
        type: 'boolean', value: false,
        description: 'Build API reference for plugins (requires gtk-doc)')
 
+# This option exists for the developers, to speed up the install.
+option('user-documentation',
+       type: 'boolean', value: true,
+       description: 'Build user documentation')
+
 option('enable-gvfs-metadata',
        type: 'combo', choices: ['yes', 'no', 'auto'], value: 'auto',
        description: 'Enable using gvfs to store metadata')