This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch] [1/5] Types reference counting [base]
> Date: Sat, 11 Apr 2009 21:45:31 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: gdb-patches@sourceware.org
>
> On Sat, 11 Apr 2009 21:29:57 +0200, Eli Zaretskii wrote:
> > > BTW do you know some way how to generate .tex (not .dvi or .pdf) from
> > > .texinfo?
> >
> > There's no way, AFAIK. Why do you need that?
>
> As you were objecting the @: formatting which has no effect on the .info files
> and with my eyes I could not even find a visual difference for the .pdf files.
Well, the Texinfo manual instructs to do so, see the node "Not Ending
a Sentence" there. I don't think I ever measured the difference
myself.
In any case, if it were possible to generate .tex from a Texinfo
source, this difference would not be visible there, because .tex is
_input_ to TeX, not its output. The output is DVI.