Re: texinfo.tex?

["Eli Zaretskii" <eliz@elta.co.il>]

> Date: Thu, 19 Feb 2004 10:16:29 -0500
> From: Andrew Cagney <cagney@gnu.org>
> 
> Would you know happen to know where texinfo.tex is now published?

Karl Berry, who maintains Texinfo, keeps the latest texinfo.tex is
here:

  ftp://tug.org/tex/texinfo.tex

Karl, would you suggest to import that version whenever GDB is about
to be released, or some other version?  And what about the following
fragment from the GDB internals manual: should we advertise the
tug.org or ftp.gnu.org as the canonical place for texinfo.tex?  TIA

> @subheading Refresh any imported files.
> 
> A number of files are taken from external repositories.  They include:
> 
> @table @file
> @item texinfo/texinfo.tex
> See @url{ftp://ftp.gnu.org/pub/gnu/texinfo/}.
> @item config.guess
> @itemx config.sub
> See the top-level @file{MAINTAINERS} file.
> @item etc/standards.texi
> @itemx etc/make-stds.texi
> @c @itemx etc/maintain.texi
> Try @url{ftp://ftp.gnu.org/pub/gnu/standards/} but that copy proved more
> out-of-date than what was in @file{etc/}.
> @end table