doc-src/Exercises/Makefile

added HOL-Matrix, added HOL/Matrix/ROOT.ML

all: gen pdf


gen: g2000 g2001 g2002 g2003 g0304


dvi: gen
	latex exercises
	bibtex exercises
	latex exercises
	latex exercises

pdf: gen 
	pdflatex exercises
	bibtex exercises
	pdflatex exercises
	pdflatex exercises



g2000:
	cd 2000; make

g2001:
	cd 2001; make

g2002:
	cd 2002; make

g2003:
	cd 2003; make

g0304:
	cd 0304; make

clean:
	rm -f *.log *.aux *.bbl *.blg *.toc *.out *~


realclean: clean
	rm -rf exercises.pdf execrcises.dvi