doc-src/TutorialI/Makefile
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