doc-src/Exercises/Makefile
changeset 13841 ed4e97874454
parent 13740 e3cb04713384
child 14498 c770a2f0ea78
--- a/doc-src/Exercises/Makefile	Sat Mar 01 16:45:51 2003 +0100
+++ b/doc-src/Exercises/Makefile	Sat Mar 01 16:57:32 2003 +0100
@@ -8,23 +8,23 @@
 	latex exercises
 	latex exercises
 
-pdf: gen
+pdf: gen 
 	pdflatex exercises
 	bibtex exercises
 	pdflatex exercises
 	pdflatex exercises
 
 g2000:
-	cd 2000; isatool make
+	cd 2000; make
 
 g2001:
-	cd 2001; isatool make
+	cd 2001; make
 
 g2002:
-	cd 2002; isatool make
+	cd 2002; make
 
 clean:
 	rm -f *.log *.aux *.bbl *.blg *.toc *.out *~
 
 realclean: clean
-	rm -rf exercises.pdf */*/generated
+	rm -rf exercises.pdf execrcises.dvi