Add manpages option

This commit is contained in:
Sebastian Ramacher 2018-11-27 20:55:16 +01:00
parent 886649dfbf
commit 6719bee745
2 changed files with 5 additions and 1 deletions

View file

@ -1,4 +1,4 @@
sphinx = find_program('sphinx-build', required: false)
sphinx = find_program('sphinx-build', required: get_option('manpages'))
if sphinx.found()
custom_target('man pages',
command: [

View file

@ -18,4 +18,8 @@ option('seccomp',
value: 'auto',
description: 'seccomp-based sandbox'
)
option('manpages',
type: 'feature',
value: 'auto',
description: 'manual pages'
)