summaryrefslogtreecommitdiff
path: root/meson.build
diff options
context:
space:
mode:
authorIgor V. Kovalenko <igor.v.kovalenko@gmail.com>2021-05-19 00:52:56 +0300
committerIgor V. Kovalenko <igor.v.kovalenko@gmail.com>2021-05-19 01:05:42 +0300
commitedae28e9b58cb4cf9bb147c55d1839856c51315d (patch)
tree98c9c1e357c47be03fee1daa541c274aa4b6b291 /meson.build
parent6e04c0a7042d00fa8ed01efcb938495acc4ad617 (diff)
build-sys: meson: make doxygen optional
Part-of: <https://gitlab.freedesktop.org/pulseaudio/pulseaudio/-/merge_requests/558>
Diffstat (limited to 'meson.build')
-rw-r--r--meson.build4
1 files changed, 3 insertions, 1 deletions
diff --git a/meson.build b/meson.build
index 790778988..255c73a58 100644
--- a/meson.build
+++ b/meson.build
@@ -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')