From e7154280ecd51769c3c930d3fd36cc1b375d1c13 Mon Sep 17 00:00:00 2001
From: architeuthidae <am@m-labs.hk>
Date: Sun, 27 Oct 2024 14:29:31 +0100
Subject: [PATCH] Add makefile and .gitignore

---
 .gitignore |  9 +++++++++
 Makefile   | 15 +++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 Makefile

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..f514ef8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,9 @@
+*.out
+*.log
+*.aux
+
+_minted-*
+build
+result
+
+images/unsorted
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..9e96bf5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,15 @@
+inputs = 1124 2118-2128 2238 2245 4410-4412 4456 5108 5432 5518-5528 5568 7210
+dir = build
+
+all: $(inputs)
+
+$(inputs) : % : %.tex
+	pdflatex -shell-escape $@.tex
+	if ! test -d "$(dir)"; then \
+		mkdir build; \
+	fi
+	mv $@.pdf build/
+	rm $@.log
+
+clean:
+	rm -r _minted* *.aux *.out