> From: Aharon Robbins <[email protected]>
> 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 @dfn{@command{awk} 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.
