Re: @deffnx problems

[Werner LEMBERG]

> 
>       @deffn
>       something
>       @deffnx
> 
> That usage doesn't make sense to me.

Of course it doesn't make sense.

> The point of @deffnx is to be consecutive with @deffn.  I can see
> the reason for "invisible" commands like indexing, but not actual
> text.  But I guess you do this in the groff manual?

Of course I don't do this in the groff manual :-)  I just want to
point out that it's easy (IMHO too easy) to create invalid HTML --
perhaps makeinfo could emit a warning if @deffnx is found in the
middle of a paragraph.


    Werner