| changeset 13740 | e3cb04713384 |
| parent 13739 | f5d0a66c8124 |
| child 13841 | ed4e97874454 |
--- 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