--- a/doc-src/TutorialI/Makefile Tue Jul 17 15:07:36 2001 +0200
+++ b/doc-src/TutorialI/Makefile Fri Jul 20 17:49:10 2001 +0200
@@ -11,7 +11,7 @@
include ../Makefile.in
-SEDINDEX = isa-index
+SEDINDEX = ./isa-index
NAME = tutorial
FILES = tutorial.tex basics.tex fp.tex appendix.tex \