diff --git a/doc/man-fixup.py b/doc/man-fixup.py index 758aa855e..829aec3f1 100755 --- a/doc/man-fixup.py +++ b/doc/man-fixup.py @@ -28,6 +28,9 @@ def main(): if not fn.exists(): page2 = page.replace("page_man_", "md_doc_dox_programs_").replace("-", "_") fn = mandir / f"{page2}.3" + if not fn.exists(): + page2 = page.replace("page_man_", "md_doc_dox_config_").replace("-", "_") + fn = mandir / f"{page2}.3" else: page2 = None diff --git a/meson.build b/meson.build index b95eeb9e5..47bd33851 100644 --- a/meson.build +++ b/meson.build @@ -516,7 +516,7 @@ endif generate_docs = get_option('man').enabled() or get_option('docs').enabled() if get_option('man').allowed() or get_option('docs').allowed() - doxygen = find_program('doxygen', required : generate_docs) + doxygen = find_program('doxygen', required : generate_docs, version : '>=1.9') pymod = import('python') python = pymod.find_installation('python3', required: generate_docs) generate_docs = doxygen.found() and python.found()