Re: bad html formatting

[Eli Zaretskii]

On Sat, 28 Sep 2002, Karl Berry wrote:

>     What's the reason for the `<br>'?
> 
> It seems that @example and the like always insert <br><pre> (line 503 of
> insertion.c).  I don't know why, seems like just <pre> would be better.
> I'll see if I can dig up a reason for the <br>, if not, I'll try getting
> rid of it.

Isn't the reason the fact that makeinfo does a close_paragraph?

Anyway, in general, I'd advise against removing code we don't understand, 
it has bitten us in the past...