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
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
