diff options
author | Bastien Nocera <hadess@hadess.net> | 2021-05-05 12:55:13 +0200 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2021-05-05 12:57:16 +0200 |
commit | 4086ecb611ba2416fa49a8a4b3ac0cbc24724ad2 (patch) | |
tree | 9729904611e054b7ae3113297908aee6a0f5bb36 /meson.build | |
parent | 38622883d48ae1e26516f900f72d5db6d38fb9ac (diff) | |
download | totem-4086ecb611ba2416fa49a8a4b3ac0cbc24724ad2.tar.gz |
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.
Diffstat (limited to 'meson.build')
-rw-r--r-- | meson.build | 4 |
1 files changed, 3 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') |