diff options
| -rw-r--r-- | meson.build | 4 | ||||
| -rw-r--r-- | meson_options.txt | 1 |
2 files changed, 4 insertions, 1 deletions
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)') |