diff -r bb6db6c0d4df -r f85386e8acdf doc-src/TutorialI/Makefile
--- a/doc-src/TutorialI/Makefile	Tue Jan 08 17:32:40 2002 +0100
+++ b/doc-src/TutorialI/Makefile	Tue Jan 08 17:43:21 2002 +0100
@@ -48,4 +48,4 @@
 	$(SEDINDEX) $(NAME)
 	$(FIXBOOKMARKS) $(NAME).out
 	$(PDFLATEX) $(NAME)
-	$(FIXBOOKMARKS) main.out
+	$(FIXBOOKMARKS) $(NAME).out