default: UserManual.ps

UserManual.ps:	UserManual.dvi
	dvips UserManual.dvi

UserManual.dvi:
	biglatex UserManual.tex
	makeindex UserManual
	bibtex UserManual
	biglatex UserManual
	biglatex UserManual


Implementation.ps: Implementation.dvi
	dvips Implementation.dvi

Implementation.dvi:
	biglatex Implementation.tex
	makeindex Implementation
	bibtex Implementation
	biglatex Implementation
	biglatex Implementation


Extensions.ps: Extensions.dvi
	dvips Extensions.dvi

Extensions.dvi: 
	biglatex Extensions.tex
	makeindex Extensions
	bibtex Extensions
	biglatex Extensions
	biglatex Extensions


default: UserManual.ps

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