changeset 12672 | f85386e8acdf |
parent 12654 | 200565ba1471 |
child 12676 | 99e7b2045d8f |
1.1 --- a/doc-src/TutorialI/Makefile Tue Jan 08 17:32:40 2002 +0100 1.2 +++ b/doc-src/TutorialI/Makefile Tue Jan 08 17:43:21 2002 +0100 1.3 @@ -48,4 +48,4 @@ 1.4 $(SEDINDEX) $(NAME) 1.5 $(FIXBOOKMARKS) $(NAME).out 1.6 $(PDFLATEX) $(NAME) 1.7 - $(FIXBOOKMARKS) main.out 1.8 + $(FIXBOOKMARKS) $(NAME).out