Agda-2.3.2.2: notes/talks/Types07/Makefile
meta.pdf : talk.tex latexmk -pdf talk.tex pdfnup --noautoscale true --nup 1x1 --orient landscape talk.pdf --scale 2.1 --outfile $@
meta.pdf : talk.tex latexmk -pdf talk.tex pdfnup --noautoscale true --nup 1x1 --orient landscape talk.pdf --scale 2.1 --outfile $@