From 9fcb759b52b1c74d5cf5683ea9472c45863f1a30 Mon Sep 17 00:00:00 2001 From: Christian Hergert Date: Tue, 7 May 2019 22:57:21 -0700 Subject: [PATCH] build: make help optional This isn't necessary for command line tooling and such. --- help/meson.build | 8 +++++--- meson_options.txt | 3 +++ 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/help/meson.build b/help/meson.build index 5e0393bd..ec3e5b6f 100644 --- a/help/meson.build +++ b/help/meson.build @@ -1,3 +1,5 @@ -gnome.yelp('sysprof', - sources: ['index.page', 'introduction.page', 'profiling.page', 'faq.page', 'legal.xml'], -) +if get_option('help') + gnome.yelp('sysprof', + sources: ['index.page', 'introduction.page', 'profiling.page', 'faq.page', 'legal.xml'], + ) +endif diff --git a/meson_options.txt b/meson_options.txt index b04a0d4a..fd0c9d10 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -23,3 +23,6 @@ option('systemdunitdir', type: 'string', option('debugdir', type: 'string', description: 'Look for global separate debug info in this path' ) + +# If Yelp documentation should be installed +option('help', type: 'boolean')