SRC = manual.texi defs.texi

dvi: manual.dvi
manual.dvi: $(SRC)
	tex manual.texi

info: manual.info
manual.info: $(SRC)
	makeinfo manual.texi

html: manual_html/index.html
manual_html/index.html: $(SRC)
	makeinfo --html manual.texi
	rm -rf manual_html
	mv manual manual_html

pdf: manual.pdf
manual.pdf: $(SRC)
	pdftex manual.texi

all: dvi info html pdf

dist-clean:
	rm -f manual.{cp,cps,dvi,fn,fns,ky,kys,log,info}
	rm -f manual.{pdf,pg,pgs,tmp,toc,tp,tps,vr,vrs,aux}
	rm -rf manual_html

clean:
	rm -f manual.{cp,cps,fn,fns,ky,kys,log,pg,pgs,tmp,toc,tp}
	rm -f manual.{tps,vr,vrs,aux}