Re: File missing from the git: texinfo/texinfo.tex

Tom Tromey <[email protected]> Thu, 24 Oct 2013 07:50:38 -0600

Newsgroups	gmane.comp.gnu.binutils,gmane.comp.gdb.devel
Message-ID	<[email protected]>

Pedro> Yeah.   If it were up to me, I'd just bite the bullet and do
Pedro> this.

I restarted the conversion here, with the texinfo bug fixed.
If there's an outcry against it, it's no trouble, I can stop it any time.
Meanwhile this puts us in a position to switch over tonight or tomorrow.

Tom

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.