# HG changeset patch
# User wenzelm
# Date 995644150 -7200
# Node ID c51de60e26cf0fdf98ba9ed49c73c219df44b223
# Parent  30da2f5eaf57e88bde0ef79f8ca75846c501ac58
SEDINDEX = ./isa-index;

diff -r 30da2f5eaf57 -r c51de60e26cf doc-src/TutorialI/Makefile
--- 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 \