From c6989d0b9678e41edef44d0a284c4296bbc3b8ad Mon Sep 17 00:00:00 2001 From: Jan Becker Date: Mon, 11 Jul 2022 11:03:35 +0200 Subject: [PATCH] [doc] Raise heading level of plugin option --- doc/build-doc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/build-doc.py b/doc/build-doc.py index 517c6f28..bb32400d 100644 --- a/doc/build-doc.py +++ b/doc/build-doc.py @@ -999,7 +999,7 @@ def print_usage(appname, output): bindings_options += "\n.. _%s-%s-%s-label:\n\n" % ( app_name, cat, name) bindings_options += "%s\n" % name - bindings_options += "%s\n\n" % ('^'*len(name)) + bindings_options += "%s\n\n" % ('-'*len(name)) desc = xml_desc_lines(b) if len(desc) > 0: bindings_options += "\n".join(desc)