[doc patch] objfile -> @var{objfile} [Re: [patch#2 3/6] set auto-load local-gdbinit warn-and-*]

[Jan Kratochvil]

On Mon, 02 Apr 2012 23:10:24 +0200, Eli Zaretskii wrote:
> > But this means existing manual also needs this fix.
> 
> Oops, sorry.  I don't know what I was smoking.  Of course,
> cross-references and nodes do not use @var.  Sorry, sorry.

But in practice it works OK and the formatting is then unified in all cases,
are you sure with this decision?


Thanks,
Jan