diff --git a/manual/tools/gen_invocations.py b/manual/tools/gen_invocations.py
index 162df778d..fc970198e 100755
--- a/manual/tools/gen_invocations.py
+++ b/manual/tools/gen_invocations.py
@@ -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()