This is the mail archive of the
mailing list for the GDB project.
Re: patch for gdb.texinfo
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
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