--- a/doc-src/TutorialI/Types/types.tex Sun Oct 21 19:35:40 2001 +0200 +++ b/doc-src/TutorialI/Types/types.tex Sun Oct 21 19:36:12 2001 +0200 @@ -68,4 +68,4 @@ \index{*axclass|)} -\input{Types/document/Typedef} +\input{Types/document/Typedefs}