From 37d76ce7083d88c678c2f04743132e454846c939 Mon Sep 17 00:00:00 2001 From: redfast00 Date: Tue, 15 Feb 2022 16:38:27 +0100 Subject: [PATCH] Exit with exitcode if build failed --- docs/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/build.py b/docs/build.py index 64ed751..ee11bc1 100644 --- a/docs/build.py +++ b/docs/build.py @@ -29,4 +29,4 @@ with open(outfilename, 'w') as outfile: with open(filepath) as infile: outfile.write(infile.read()) outfile.write("\n\\newpage{}\n") -os.system(f"pandoc --from=markdown --template=template.tex --output=docs.pdf prefix.yaml {outfilename} --highlight-style=espresso") +exit(os.system(f"pandoc --from=markdown --template=template.tex --output=docs.pdf prefix.yaml {outfilename} --highlight-style=espresso"))