SEDINDEX = ./isa-index;
authorwenzelm
Fri Jul 20 17:49:10 2001 +0200 (2001-07-20)
changeset 11430c51de60e26cf
parent 11429 30da2f5eaf57
child 11431 2328d48eeba8
SEDINDEX = ./isa-index;
doc-src/TutorialI/Makefile
     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 \