17 Include Files

When a Texinfo processor sees an @include command in a Texinfo file, it processes the contents of the file named by the @include and incorporates them into the output files being created. Include files thus let you keep a single large document as a collection of conveniently small parts.