# HG changeset patch # User wenzelm # Date 1010263271 -3600 # Node ID 39b93da27bc939c86433386119c5297e3eaac6db # Parent 40fbd988b59bf0e2cfbbd11ce64683c7ab9e2737 tuned; diff -r 40fbd988b59b -r 39b93da27bc9 doc-src/TutorialI/Makefile --- a/doc-src/TutorialI/Makefile Sat Jan 05 01:27:32 2002 +0100 +++ b/doc-src/TutorialI/Makefile Sat Jan 05 21:41:11 2002 +0100 @@ -48,3 +48,4 @@ $(SEDINDEX) $(NAME) $(FIXBOOKMARKS) $(NAME).out $(PDFLATEX) $(NAME) + $(FIXBOOKMARKS) main.out