Re: *_TEXINFOS

[Tom Tromey]

>>>>> "Alexandre" == Alexandre Oliva <address@hidden> writes:

>> On May 16, 2001, "Lars J. Aas" <address@hidden> wrote:
>> 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?

Alexandre> Yep.  The idea is that the distribution should include the
Alexandre> generated info files, so that random installers won't need
Alexandre> texinfo to install the info documentation.  They're placed
Alexandre> in the source tree so that a maintainer set-up doesn't
Alexandre> differ from a random installer's.

Sometimes I wonder if this is really the right thing to do.  Maybe it
would be better to always build the files in the build directory.  The
theory is that if the files are up-to-date in the srcdir then they
won't be rebuilt at all.

This would let even maintainers build with a read-only srcdir.

Tom