Re: @indent within a paragraph

[Karl Berry]

Hi Patrice,

    I could be argued that the texinfo is broken, as one should have either

Yes, @indent is not intended to be used within a paragraph.  The last
line of the `indent' node in the manual says "@indent is a command used
outside of paragraphs" ...

I'm not sure I want to make a warning about it, though, since I seem to
recall seeing it (ab)used to generate horizontal space.  Maybe you could
make texi2html complain about it and see if anyone notices :)?

Thanks,
k