From cb19906118b5c1d38fbe82e9e32b392880b43d96 Mon Sep 17 00:00:00 2001 From: D45Hub Date: Sat, 18 Apr 2026 21:10:25 +0200 Subject: [PATCH] Add error for drawings build failure --- src/build_drawings.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/build_drawings.py b/src/build_drawings.py index 93736eb..8d8567d 100755 --- a/src/build_drawings.py +++ b/src/build_drawings.py @@ -21,7 +21,7 @@ def build_drawing(id, width=9.0): latex = file.read() # Workaround, if the picture contains a document class it should be ignored: - if ("\\begin{document}" in latex or "\\begin{table}" in latex): + if "\\begin{document}" in latex or "\\begin{table}" in latex: print(f"Error: drawing file '{drawing}' contains a document environment.") return False @@ -31,7 +31,7 @@ def build_drawing(id, width=9.0): with (img_path / f"{id}include.tex").open("w") as file: file.write(latex) - # Write the auxilary LaTeX file: + # Write the auxiliary LaTeX file: aux_file = build_path / f"{id}.tex" with aux_file.open("w", encoding="utf-8") as file: @@ -72,5 +72,6 @@ if __name__ == "__main__": else: width = 9.0 - print(f"Building picture {id}. This might take a while ... ") - build_drawing(id, width) + print(f"Building picture {id}. This might take a while ...") + if not build_drawing(id, width): + print("Build failed.")