[totem/wip/hadess/help-option: 2/2] build: Make building the user help optional

[Bastien Nocera <hadess src gnome org>]

commit 4086ecb611ba2416fa49a8a4b3ac0cbc24724ad2
Author: Bastien Nocera <hadess hadess net>
Date:   Wed May 5 12:55:13 2021 +0200

    build: Make building the user help optional
    
    This can speed up "jhbuild make" quite a bit. The help is still enabled
    by default as it was.

 meson.build       | 4 +++-
 meson_options.txt | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/meson.build b/meson.build
index 1fdde7650..078de15a8 100644
--- a/meson.build
+++ b/meson.build
@@ -214,7 +214,9 @@ top_inc = include_directories('.')
 
 subdir('po')
 subdir('data')
-subdir('help')
+if get_option('help')
+  subdir('help')
+endif
 subdir('src')
 
 if get_option('enable-gtk-doc')
diff --git a/meson_options.txt b/meson_options.txt
index 7070fd5d0..31edd2c20 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -1,3 +1,4 @@
+option('help', type: 'boolean', value: true, description: 'Build help')
 option('enable-easy-codec-installation', type: 'combo', choices: ['yes', 'no', 'auto'], value: 'auto', 
description: 'Whether to enable easy codec installation support for GStreamer')
 option('enable-python', type: 'combo', choices: ['yes', 'no', 'auto'], value: 'auto', description: 'Enable 
python support')
 option('with-plugins', type: 'combo', choices: ['all', 'none', 'auto'], value: 'auto', description: 'Which 
Totem plugins to compile (default: auto; "all", "none" and "auto" are valid)')