doc: fix workaround for old doxygen versions

Fix workaround for old doxygen versions, and put a version requirement
for Doxygen.
This commit is contained in:
Pauli Virtanen 2024-04-21 11:04:24 +03:00 committed by Wim Taymans
parent 8633729a15
commit 29614a2c46
2 changed files with 4 additions and 1 deletions

View file

@ -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