From 150cde89b5f3d563286aaf21515f85db7b9375e6 Mon Sep 17 00:00:00 2001 From: Dimitri Merejkowsky Date: Sat, 8 Dec 2018 11:53:45 +0100 Subject: [PATCH] Fix build.py --- sessions/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sessions/build.py b/sessions/build.py index 854ae7c..e871652 100644 --- a/sessions/build.py +++ b/sessions/build.py @@ -16,7 +16,7 @@ def main(): cmd.append("texi2pdf") else: cmd.append("pdflatex") - cmd.append(f"../python-{number}") + cmd.append(f"../python-{number}.tex") subprocess.run(cmd, cwd="build", check=True)