| changeset 11400 | ddcfdc38090d |
| parent 9695 | ec7d7f877712 |
| child 11428 | 332347b9b942 |
--- 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 \