diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py index f82cffa14..69911d3ea 100644 --- a/src/tools/docmaker/tohtml.py +++ b/src/tools/docmaker/tohtml.py @@ -35,27 +35,30 @@ html_header_1 = """\ html_header_2 = """\ API Reference