Re: patch for gdb.texinfo

[Eli Zaretskii <eliz at delorie dot com>]

Dmitry Sivachenko writes:

> > Why is it a good idea to remove the @dfn here?
> 
> Because there is no definition of 'dynamic arrays' here in the text.

@dfn is not only for something that is being defined.  Here's what the
Texinfo manual says:

    Use the `@dfn' command to identify the introductory or defining use
    of a technical term.  Use the command only in passages whose purpose is
    to introduce a term which will be used again or which the reader ought
    to know.  Mere passing mention of a term for the first time does not
    deserve @dfn.

This doesn't seem to be limited to text that defines a term.  It does
say that if the term is never to be used again, it doesn't deserve a
@dfn.  OTOH, if ``dynamic arrays'' aren't mentioned anywhere else,
then why was it important to mention them here?  Perhaps it should be
removed altogether.