


all: maxima.dvi maxima.info maxima.info-1.gz

maxima.info maxima.info-1.gz:
	makeinfo maxima.texi
	gzip maxima.info-*

maxima.dvi: maxima.vr maxima.texi
	tex maxima.texi

maxima.vr:  maxima.texi
	tex maxima.texi

install:
	gzip maxima.info*
	(cd ../src ; make install)

clean:
	rm -f *.info* maxima.toc maxima.tp maxima.vr maxima.pg maxima.ky TAGS maxima.aux maxima.dvi maxima.fn *.log






