manual: manual.dvi manual.pdf htm tidy

gd: 	../lib/window.g ../lib/gobject.gd ../lib/sheet.gd \
	../lib/sheet.gd ../lib/color.gd ../lib/menu.gd \
	../lib/poset.gd ../lib/font.gd

msk: 		gd gobject.msk posetops.msk xgap.msk usercomm.msk Makefile
	@echo "*** Building TeX files ..."
	../../../etc/buildman.pe -f buildman.config

manual.bbl: 	msk diffgap3.tex graphs.tex install.tex savetime.tex \
		sgrplats.tex sglatsys.tex whatis.tex manual.bib
	@echo "*** Creating bibliography ..."
	tex manual
	bibtex manual

manual.ind: 	*.tex
	@echo "*** Creating index ..."
	tex manual
	../../../doc/manualindex manual

manual.lab: 	*.tex
	@echo "*** Creating manual.lab ..."
	tex manual

manual.toc: 	*.tex
	@echo "*** Creating manual.toc ..."
	tex manual

manual.dvi: 	*.tex manual.bbl manual.ind
	@echo "*** Creating manual.dvi ..."
	tex manual
	tex manual

manual.pdf: 	*.tex manual.bbl manual.ind
	@echo "*** Creating manual.pdf ..."
	pdftex manual
	pdftex manual

manual.ps: 	manual.dvi
	@echo "*** Creating manual.ps ..."
	dvips manual -o

htm: 	manual.dvi manual.bbl manual.lab manual.toc
	@echo "*** Creating HTML version ..."
	mkdir -p ../htm
	../../../etc/convert.pl -t -c -n XGAP . ../htm

tidy:
	@echo "*** Tidying up ..."
	rm -f manual.aux manual.blg manual.idl manual.idx manual.ilg manual.log

clean: 	tidy
	rm -f manual.toc manual.lab manual.ind manual.bbl manual.dvi manual.six