From aeea48f40f5e0f300f2a802c255246f1a96f4c6f Mon Sep 17 00:00:00 2001 From: Remi Gacogne Date: Tue, 18 Feb 2025 11:24:36 +0100 Subject: [PATCH] dnsdist: Install already generated man pages --- pdns/dnsdistdist/meson.build | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pdns/dnsdistdist/meson.build b/pdns/dnsdistdist/meson.build index 2fbfdd6b8a..2907427cc3 100644 --- a/pdns/dnsdistdist/meson.build +++ b/pdns/dnsdistdist/meson.build @@ -573,6 +573,11 @@ if get_option('man-pages') and python.found() foreach man_page: info['manpages'] if not fs.is_file(man_page) generated_man_pages += man_page + else + install_man( + man_page, + install_dir: join_paths(get_option('mandir'), 'man1'), + ) endif endforeach endif -- 2.47.3