diff options
Diffstat (limited to 'src/benchmark.py')
| -rw-r--r-- | src/benchmark.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/benchmark.py b/src/benchmark.py index a83c3ac..c3573b7 100644 --- a/src/benchmark.py +++ b/src/benchmark.py @@ -471,6 +471,8 @@ class Benchmark (object): fname = os.path.join(sumdir, ".".join([self.name, filepostfix, "tex"])) with open(fname, "w") as f: + print("\\documentclass{standalone}", file=f) + print("\\begin{document}", file=f) print("\\begin{tabular}{|", end="", file=f) print(" l |" * len(headers), "}", file=f) @@ -485,3 +487,4 @@ class Benchmark (object): print(e, end=" & ", file=f) print(row[-1], "\\\\", file=f) print("\\end{tabular}", file=f) + print("\\end{document}", file=f) |