Ted Lemon writes:
> Actually, they should be built from source, not added.   The sources
> are the .texi files.   In order for this to happen, though, the GNU
> texinfo package needs to be installed on all build machines.

...which would require texinfo on be in the tree. "Messy!"

.pm