changeset 11430 | c51de60e26cf |
parent 11428 | 332347b9b942 |
child 11647 | 0538cb0f7999 |
1.1 --- a/doc-src/TutorialI/Makefile Tue Jul 17 15:07:36 2001 +0200 1.2 +++ b/doc-src/TutorialI/Makefile Fri Jul 20 17:49:10 2001 +0200 1.3 @@ -11,7 +11,7 @@ 1.4 1.5 include ../Makefile.in 1.6 1.7 -SEDINDEX = isa-index 1.8 +SEDINDEX = ./isa-index 1.9 1.10 NAME = tutorial 1.11 FILES = tutorial.tex basics.tex fp.tex appendix.tex \