> I couldn't find anywhere in the documentation that `@include` does
> not accept file names containing spaces.
In the TeX backend, I mean.
> AFAICS, since `@include` needs a line of its own, such a limitation
> is not necessary. Compare this to LaTeX's `\input{...}` command,
> which also accepts file names with spaces.
A limitation of the Texinfo format itself is that there cannot be
either leading or trailing spaces in a file name. This isn't
surprising, but it should probably be documented, too.
Werner