diff options
Diffstat (limited to 'community/pulseaudio/meson-opt-doxygen.patch')
| -rw-r--r-- | community/pulseaudio/meson-opt-doxygen.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/community/pulseaudio/meson-opt-doxygen.patch b/community/pulseaudio/meson-opt-doxygen.patch deleted file mode 100644 index b1147289c0c..00000000000 --- a/community/pulseaudio/meson-opt-doxygen.patch +++ /dev/null @@ -1,26 +0,0 @@ -From edae28e9b58cb4cf9bb147c55d1839856c51315d Mon Sep 17 00:00:00 2001 -From: "Igor V. Kovalenko" <igor.v.kovalenko@gmail.com> -Date: Wed, 19 May 2021 00:52:56 +0300 -Subject: [PATCH] build-sys: meson: make doxygen optional - -Part-of: <https://gitlab.freedesktop.org/pulseaudio/pulseaudio/-/merge_requests/558> ---- - meson.build | 4 +++- - meson_options.txt | 3 +++ - 2 files changed, 6 insertions(+), 1 deletion(-) - -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') |