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

[Jan Kratochvil <jan dot kratochvil at redhat dot com>]

On Fri, 30 Mar 2012 09:25:41 +0200, Eli Zaretskii wrote:
> > +This feature is deprecated, please use @ref{objfile-gdb.rc file} instead;
> 
> "objfile" should be in @var, and it should explain what is "objfile".

But this means existing manual also needs this fix.

info works fine with that leading @var.


Thanks,
Jan


gdb/doc/
2012-04-02  Jan Kratochvil  <jan.kratochvil@redhat.com>

	* gdb.texinfo (Auto-loading): Update two references.
	(objfile-gdb.py file): Rename to ...
	(@var{objfile}-gdb.py file): ... here.

--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -24714,7 +24714,7 @@ writable.
 When a new object file is read (for example, due to the @code{file}
 command, or because the inferior has loaded a shared library),
 @value{GDBN} will look for Python support scripts in several ways:
-@file{@var{objfile}-gdb.py} (@pxref{objfile-gdb.py file})
+@file{@var{objfile}-gdb.py} (@pxref{@var{objfile}-gdb.py file})
 and @code{.debug_gdb_scripts} section
 (@pxref{dotdebug_gdb_scripts section}).
 
@@ -24764,12 +24764,12 @@ function (@pxref{Objfiles In Python}).  This can be useful for
 registering objfile-specific pretty-printers.
 
 @menu
-* objfile-gdb.py file::          The @file{@var{objfile}-gdb.py} file
+* @var{objfile}-gdb.py file::          The @file{@var{objfile}-gdb.py} file
 * dotdebug_gdb_scripts section:: The @code{.debug_gdb_scripts} section
 * Which flavor to choose?::
 @end menu
 
-@node objfile-gdb.py file
+@node @var{objfile}-gdb.py file
 @subsubsection The @file{@var{objfile}-gdb.py} file
 @cindex @file{@var{objfile}-gdb.py}