diff -r d48d1716bb6d -r f5d0a66c8124 doc-src/Exercises/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Exercises/Makefile	Thu Dec 05 17:12:07 2002 +0100
@@ -0,0 +1,24 @@
+all: gen tex
+
+gen: g2000 g2001 g2002
+
+tex:
+	pdflatex exercises
+	bibtex exercises
+	pdflatex exercises
+	pdflatex exercises
+
+g2000:
+	cd 2000; isatool make
+
+g2001:
+	cd 2001; isatool make
+
+g2002:
+	cd 2002; isatool make
+
+clean:
+	rm -f *.log *.aux *.bbl *.blg *.toc *.out *~
+
+realclean: clean
+	rm -rf exercises.pdf */*/generated