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