diff -r f5d0a66c8124 -r e3cb04713384 doc-src/Exercises/Makefile
--- a/doc-src/Exercises/Makefile	Thu Dec 05 17:12:07 2002 +0100
+++ b/doc-src/Exercises/Makefile	Thu Dec 05 18:44:16 2002 +0100
@@ -1,8 +1,14 @@
-all: gen tex
+all: gen pdf
 
 gen: g2000 g2001 g2002
 
-tex:
+dvi: gen
+	latex exercises
+	bibtex exercises
+	latex exercises
+	latex exercises
+
+pdf: gen
 	pdflatex exercises
 	bibtex exercises
 	pdflatex exercises