Re: RFA: distinguish between pointers and addresses

[Stan Shebs <shebs at apple dot com>]

Eli Zaretskii wrote:
> 
> > Also consider using @value{GDBN} instead of 'GDB'.  :)
> 
> It seems that gdbint.texinfo doesn't use that convention.  So there's
> no need to do it in this particular fragment, IMHO.
> 
> Unless, of course, we want to convert all instances of GDB into
> @value{GDBN} in gdbint.texinfo as well.  Stan?

Well, gdbint.texinfo is a less formal document, and its audience
is considerably smaller than for the regular manual.  On the
other hand, it saves valuable brain cells when we can use a
consistent set of rules for all of our documents, and who knows,
perhaps one day we'll want to follow GCC's example and put our
internals info into the regular GDB manual (hmmm, maybe not :-) ).

So I'd say we should start using @value{GDBN} and our other
doc conventions in gdbint.texinfo, converting things other as
time allows.

Stan