agda2.pdf : talk.tex latexmk -pdf talk.tex pdfnup --noautoscale true --nup 1x1 --orient landscape talk.pdf --scale 2.1 --outfile $@
