default: UserManual.ps

UserManual.ps:	UserManual.dvi
	dvips UserManual.dvi

UserManual.dvi:
	latex UserManual.tex
	makeindex UserManual
	bibtex UserManual
	latex UserManual
	latex UserManual


Implementation.ps: Implementation.dvi
	dvips Implementation.dvi

Implementation.dvi:
	latex Implementation.tex
	makeindex Implementation
	bibtex Implementation
	latex Implementation
	latex Implementation


Extensions.ps: Extensions.dvi
	dvips Extensions.dvi

Extensions.dvi: 
	latex Extensions.tex
	makeindex Extensions
	bibtex Extensions
	latex Extensions
	latex Extensions


default: UserManual.ps

	
clean:
	rm *.aux *.log *.blg *.idx *.toc *.bbl *.ilg
