diff -r 1605aeb98fd5 -r ddcfdc38090d doc-src/TutorialI/Makefile
--- a/doc-src/TutorialI/Makefile	Fri Jul 06 16:04:32 2001 +0200
+++ b/doc-src/TutorialI/Makefile	Mon Jul 09 13:43:02 2001 +0200
@@ -11,6 +11,8 @@
 
 include ../Makefile.in
 
+SEDINDEX = isa-index
+
 NAME = tutorial
 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
 	../iman.sty ../ttbox.sty ../extra.sty \