# Makefile for gnutex manual
# To make the manual from scratch, we run latex three times
all: gnutex.dvi
	latex gnutex
	latex gnutex

# To touch it up after changes:
remake: gnutex.dvi

# Always runs latex, e.g., to get labels right
force: 
	latex gnutex

gnutex.dvi: eg1.tex eg2.tex eg3.tex eg4.tex gnutex.tex header.tex
	latex gnutex

eg1.tex: eg1.gnu
	gnutex < eg1.gnu

eg2.tex: eg2.gnu
	gnutex < eg2.gnu

eg3.tex: eg3.gnu eg3.dat
	gnutex < eg3.gnu

eg4.tex: eg4.gnu
	gnutex < eg4.gnu

clean:
	rm -f *~ *.log

spotless:
	rm -f *~ *.log *.aux *.dvi *.toc eg?.tex
