build: make help optional

This isn't necessary for command line tooling and such.
This commit is contained in:
Christian Hergert
2019-05-07 22:57:21 -07:00
parent 1708ad1b48
commit 9fcb759b52
2 changed files with 8 additions and 3 deletions

View File

@ -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

View File

@ -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')