RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

manual: remove gen_invocations.py unused functions

Browse Source
This commit is contained in:
Anna Lyons
2018-05-10 06:45:32 +10:00
parent 74f3570fca
commit d0f69f8ff5
1 changed files with 0 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
manual/tools/gen_invocations.py
View File

@@ -118,27 +118,6 @@ def process_args():
return parser
def gen_header(output_file):
"""
Writes the header
"""
output_file.write("""
/**
* @defgroup ObjectInvocations Object Invocations
* @{
*/
""")
def gen_footer(output_file):
"""
Writes the footer
"""
output_file.write("""
/** @} */
""")
def main():
parser = process_args()
args = parser.parse_args()