doc-src/Exercises/Makefile
author wenzelm
Sat, 23 Apr 2005 19:51:24 +0200
changeset 15833 78109c7012ed
parent 14521 e25376d1d064
permissions -rw-r--r--
removed token_trans.ML (some content moved to syn_ext.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