mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-10-29 05:40:23 -04:00
build-sys: meson: make doxygen optional
Part-of: <https://gitlab.freedesktop.org/pulseaudio/pulseaudio/-/merge_requests/558>
This commit is contained in:
parent
6e04c0a704
commit
edae28e9b5
2 changed files with 6 additions and 1 deletions
|
|
@ -781,7 +781,9 @@ check_dep = dependency('check', version : '>= 0.9.10', required : get_option('te
|
|||
|
||||
# Subdirs
|
||||
|
||||
subdir('doxygen')
|
||||
if get_option('doxygen')
|
||||
subdir('doxygen')
|
||||
endif
|
||||
subdir('po')
|
||||
if get_option('man')
|
||||
subdir('man')
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue