# 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