From: Remi Gacogne <remi.gacogne@powerdns.com>
Date: Tue, 18 Feb 2025 10:24:36 +0000 (+0100)
Subject: dnsdist: Install already generated man pages
X-Git-Tag: dnsdist-2.0.0-alpha1~30^2~20
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aeea48f40f5e0f300f2a802c255246f1a96f4c6f;p=thirdparty%2Fpdns.git

dnsdist: Install already generated man pages
---

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