From 533a99eddc70a6a514180aef73b218aa08a75061 Mon Sep 17 00:00:00 2001
From: Dimitri Merejkowsky <d.merej@gmail.com>
Date: Thu, 3 Jan 2019 01:28:03 +0200
Subject: [PATCH] Remove now useless build script

---
 sessions/build.py | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 sessions/build.py

diff --git a/sessions/build.py b/sessions/build.py
deleted file mode 100644
index e871652..0000000
--- a/sessions/build.py
+++ /dev/null
@@ -1,24 +0,0 @@
-import sys
-import os
-import subprocess
-
-
-def main():
-    if len(sys.argv) < 2:
-        sys.exit("Usage: build.py NUMBER")
-
-    number = sys.argv[1]
-
-    os.makedirs("build", exist_ok=True)
-    cmd = []
-    if sys.platform == "darwin":
-        # From mactex
-        cmd.append("texi2pdf")
-    else:
-        cmd.append("pdflatex")
-    cmd.append(f"../python-{number}.tex")
-    subprocess.run(cmd, cwd="build", check=True)
-
-
-if __name__ == "__main__":
-    main()