# Makefile for documentation

doc.dvi: doc.tex
	tex doc.tex

clean:
	rm -f *.dvi *.log texput.*

install:

depend:
	for i in doc; do \
	    egrep "\\input" $$i.tex | egrep -v "[ 	]*%" | \
	    sed -e "s/\\\\input/$$i.tex:/" -e "s/%.*//" -e "s/$$/.dvi/"; \
	done | awk '{ if ($$1 != prev) { if (rec != "") print rec; \
		rec = $$0; prev = $$1; } \
		else { if (length(rec $$2) > 78) { print rec; rec = $$0; } \
		else rec = rec " " $$2 } } \
		END { print rec }' >makedep
	echo '/^# DO NOT DELETE THIS LINE/+2,$$d' >eddep
	echo '$$r makedep' >>eddep
	echo 'w' >>eddep
	cp Makefile Makefile.bak
	ed - Makefile <eddep
	rm eddep makedep
	echo '# DEPENDENCIES MUST END AT END OF FILE' >>Makefile
	echo '# IF YOU PUT STUFF HERE IT WILL GO AWAY' >>Makefile
	echo '# see make depend above' >>Makefile

# DO NOT DELETE THIS LINE -- make depend uses it

doc.tex: intro.dvi dvitodev.dvi dvitodvi.dvi install.dvi updates.dvi
doc.tex: library.dvi exdriver.dvi
# DEPENDENCIES MUST END AT END OF FILE
# IF YOU PUT STUFF HERE IT WILL GO AWAY
# see make depend above