Make sphinx optional again

This commit is contained in:
Sebastian Ramacher 2018-11-25 11:16:05 +01:00
parent fac4f7fea3
commit a428e19b15

View file

@ -1,5 +1,6 @@
sphinx = find_program('sphinx-build') sphinx = find_program('sphinx-build', required: false)
custom_target('man pages', if sphinx.found()
custom_target('man pages',
command: [ command: [
sphinx, sphinx,
'-b', 'man', '-b', 'man',
@ -27,4 +28,5 @@ custom_target('man pages',
join_paths(get_option('mandir'), 'man1'), join_paths(get_option('mandir'), 'man1'),
join_paths(get_option('mandir'), 'man5') join_paths(get_option('mandir'), 'man5')
] ]
) )
endif