Agda-2.3.2.2: notes/typechecking/Makefile
default : algorithm.ps algorithm.pdf %.dvi : %.tex latex --interaction=nonstopmode $< latex --interaction=nonstopmode $< %.pdf : %.tex pdflatex $< %.ps : %.dvi dvips -o $@ $<
default : algorithm.ps algorithm.pdf %.dvi : %.tex latex --interaction=nonstopmode $< latex --interaction=nonstopmode $< %.pdf : %.tex pdflatex $< %.ps : %.dvi dvips -o $@ $<