dnsdist: Install already generated man pages

diff --git a/pdns/dnsdistdist/meson.build b/pdns/dnsdistdist/meson.build
index 2fbfdd6b8a0b71921d521bdfe06262dd032d2e7a..2907427cc34d0ae505d7143090320773f65f8d0c 100644 (file)
--- 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