packages feed

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 $@ $<