patch for gdb.texinfo

[Dmitry Sivachenko]

> 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.

Yes, it is just a mention of 'dynamic arrays' there.  So we should exclude
any emphasis there.  But we may leave the words 'dynamic array', because
it is well known what it means...

--dima