diff --git a/tools/generate.py b/tools/generate.py index 696d4a1..fcf01a1 100644 --- a/tools/generate.py +++ b/tools/generate.py @@ -8,6 +8,7 @@ import sys def eprintln(line): print(line, file=sys.stderr) + def make_inputs_table(inputs): headers = ["Parameter", "Description", "Required", "Default"] rows = []