Re: @deftypefnx after text

[Karl Berry]

Hi Pat,

    The following leads to a bad result with
    makeinfo --html

Yes, I see that type2 is not starting a new paragraph, so it's run in
with the text "With type1".  If the bug is something else, please let me
know.

I'll take a look as soon as I can.  Thanks for reporting it, as always.

karl