You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
|
- 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()
|