From d0f69f8ff557183c32ec4930a22646b33324d2f4 Mon Sep 17 00:00:00 2001
From: Anna Lyons <Anna.Lyons@data61.csiro.au>
Date: Thu, 10 May 2018 06:45:32 +1000
Subject: [PATCH] manual: remove gen_invocations.py unused functions

---
 manual/tools/gen_invocations.py | 21 ---------------------
 1 file changed, 21 deletions(-)

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()