#
# Documentation
#

DOCUMENTS = DOC.chap1.tex DOC.chap2.tex DOC.chap3.tex DOC.chap4.tex DOC.chap5.tex DOC.bib.tex DOC.disclaimer.tex

docs: doc.ps

cleandocs:
	rm -f doc.ps

doc.ps: doc.tex doc.ind $(DOCUMENTS)
	latex doc.tex
	/bin/rm -f doc.ps
	dvi2ps -r doc.dvi > doc.ps

