*_TEXINFOS

[Lars J. Aas]

I've just started learning the texinfo format, and noticed that the
<file>.info files generated during make was built in $srcdir and not
$builddir.  Is this because makeinfo isn't expected to be found on
the build system, or something else?

  Lars J