diff --git a/scripts/doc/linked-xml-file.py b/scripts/doc/linked-xml-file.py index 2c37e4f2493860c6f746253790afcb6edc7d303b..99ee3089ce08c88b239dc2e8975907d1220063cb 100755 --- a/scripts/doc/linked-xml-file.py +++ b/scripts/doc/linked-xml-file.py @@ -210,6 +210,7 @@ for (dirpath, dirnames, filenames) in os.walk(datadir, topdown=False): with open(outdoxfile, "w") as fh: fh.write(r"""/*! \page %s %s +\parblock <tt> """ % (pagename, fn)) @@ -222,6 +223,7 @@ for (dirpath, dirnames, filenames) in os.walk(datadir, topdown=False): print_tags(xmlroot, 0, "prj", fh, None, 0, relfilepath) fh.write(r"""</tt> +\endparblock */ """)