Add makefile and .gitignore

2024-10-27 14:29:31 +01:00 · 2024-10-27 14:29:31 +01:00 · a7ce1604ee
parent 8312ff762e
commit a7ce1604ee
2 changed files with 22 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,9 @@
+*.out
+*.log
+*.aux
+
+_minted-*
+build
+result
+
+images/unsorted
--- a/13
+++ b/13
@ -0,0 +1,13 @@
+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