This is the mail archive of the gdb-patches@sourceware.org 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]
Other format: [Raw text]

Re: [patch] [1/5] Types reference counting [base]


On Sat, 11 Apr 2009 23:09:54 +0200, Eli Zaretskii wrote:
> In any case, if it were possible to generate .tex from a Texinfo
> source, this difference would not be visible there,

Found out now texi2dvi is just a shell script.  Just @: is left there intact
as it is all processed directly by texinfo.tex and its catcode of `@'.

So you are right seeing the .tex file does not help in any way.


Thanks,
Jan


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