secc
/
seL4
mirror of https://github.com/seL4/seL4.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

parse_doxygen_xml: minor typos and python lints 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-14 11:02:24 +10:00
parent dc66e46a62
commit d815b87ce5
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -29,6 +29,7 @@ manual/manual.pdf
manual/stage
manual/doxygen-output
manual/generated
manual/generated_markdown
# Emacs backups
*~

5
manual/tools/parse_doxygen_xml.py
View File

@ -7,7 +7,7 @@
"""
Script for generating latex from doxygen-generated xml files.
The generatetd latex files are compatible with the seL4 manual.
The generated latex files are compatible with the seL4 manual.
"""
import argparse
import sys
@ -585,7 +585,7 @@ def generate_general_syscall_doc(generator, input_file_name, level, ref_dict):
"""
Takes a path to a file containing doxygen-generated xml,
and return a string containing latex suitable for inclusion
in the sel4 manual.
in the seL4 manual.
"""
dir_name = os.path.dirname(input_file_name)
@ -612,7 +612,6 @@ def generate_general_syscall_doc(generator, input_file_name, level, ref_dict):
return "No methods."
for member in elements:
manual_node = member.manual
details, params, errors, ret = generator.parse_detailed_desc(member, ref_dict)
output += generator.generate_api_doc(level, member, params, ret, details, errors)
return output