>>> Yeah, it would be nice to have a means to control that.
>
> Yes it is really not a good solution in this case. The file is
> detected at "automake" time and the rule to distribute texinfo.tex
> is baked into the generated Makefile.in. That then gets bundled up
> into the tarball.
Yep. The size of `texinfo.tex` (374kByte) is not significant today,
but if there is no Texinfo documentation in a project it is completely
pointless to include it.
I vote for removing this file from the list of mandatory files.
Besides the fact that even a lot of GNU projects lack Texinfo
documentation, distributing `texinfo.tex` alone is very US-centric,
since the language-specific support files like `txi-de.tex` are not
automatically distributed.
Werner
