Re: docbook conversion issue: nesting of formatting

[Eli Zaretskii]

> From: Aharon Robbins <address@hidden>
> Date: Fri, 31 Jan 2014 15:00:31 +0200
> 
> The first issue has to do with nesting.  Texinfo, like TeX, is quite
> general about letting you nest one thing inside another. Docbook,
> on the other hand, is quite picky and context sensitive.  For example,
> something like
> 
>       The term @address@hidden program} refers ...
> 
> produce this:
> 
>       The term <firstterm><command>awk</command> program</firstterm> refers 
> ...
> 
> The problem is that <command>...</command> is not allowed to appear
> inside <firstterm>...</firsterm>.

Is this a real-life example?  Because if it is, I don't understand how
"@command{awk} program" ended up in @dfn, since the latter is supposed
to be used for introducing new terminology, which this phrase isn't.