This is the mail archive of the gdb-patches@sourceware.cygnus.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Too many copies of texinfo.tex...



  From: Jason Molenda <jsm@cygnus.com> 
  Date: Thu, 29 Jul 1999 12:49:39 -0700

> I agree that snapshots do not need to include texinfo, I'll stop that.
> Unless someone disagrees, this will be effective as of the next snapshot.

As far as I know, texinfo.tex is included so that people could run
texi2dvi and get printed docs.  You cannot rely on other versions of
texinfo.tex that are available from other places or installed on the
target machine, because they might be incompatible with the Texinfo
sources that are part of the distribution.  This is why the Makefile
in the directory where the Texinfo docs lives always puts "." first in
$TEXINPUTS before it runs texi2dvi: to make sure no other texinfo.tex
gets in the way.

Now, if nobody will ever want to run texi2dvi on the snapshot, or if
the snapshot doesn't come with the Texinfo sources of the docs to
begin with, then texinfo.tex is indeed redundant.  Otherwise, I think
you should keep the one version that is known to work with Texinfo
sources that are part of the snapshot, and that version should be in
the same directory as the Texinfo sources with which it was used.

The same applies to an official distribution, except that there
texinfo.tex is a must, since users should always be able to produce
printed docs.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]