From 6a1cfe9eef9ccdc0f4fbf05fc028c721e623cca1 Mon Sep 17 00:00:00 2001 From: Dave Miller Date: Fri, 3 May 2024 04:29:11 +0000 Subject: [PATCH] oops, make_body was in use after all --- make_schema_doc.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/make_schema_doc.py b/make_schema_doc.py index 79e8515..d003e19 100755 --- a/make_schema_doc.py +++ b/make_schema_doc.py @@ -868,6 +868,9 @@ def make_tables(first, last): raise BzSchemaProcessingException(e) return (header, body, footer) +def make_body(first, last): + (header, body, footer) = make_tables(first, last) + return body def write_file(first, last, file): # file = open(filename, 'w')