diff options
Diffstat (limited to 'summarize.py')
| -rwxr-xr-x | summarize.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/summarize.py b/summarize.py index 9d3f1b0..422be57 100755 --- a/summarize.py +++ b/summarize.py @@ -158,12 +158,18 @@ if __name__ == "__main__": "--exclude-benchmarks", help="benchmarks to exclude", nargs='+') + parser.add_argument("--latex-preamble", + help="latex code to include in the preamble of generated standalones", + type=str) args = parser.parse_args() if args.file_ext: src.globalvars.summary_file_ext = args.file_ext + if args.latex_preamble: + src.globalvars.latex_custom_preamble = args.latex_preamble + if not os.path.isdir(args.results): print_error(f"{args.results} is no directory") sys.exit(1) |
