
MANUAL.ps: MANUAL.dvi
	dvips MANUAL.dvi

MANUAL.dvi: MANUAL.tex
	../cmd/Mkman ../../incl/LEDA
	latex MANUAL.tex
	latex MANUAL.tex

dvi:
	../cmd/Mkdvi

clean:
	rm -f extract/* MANUAL.dvi MANUAL.aux MANUAL.dvi MANUAL.log MANUAL.toc

del: clean
	rm -f MANUAL.ps

