On Wed, 1 Dec 1999, W. L. Estes wrote:
> > > * add an explicit <br> before outputting a <pre> tag.
> > [snip]
> > Please explain why is this needed. There's a lot of obscure
> > undocumented behavior in the gray area between <br> and <pre> (e.g.,
> > see the comment right where you added <br>), so we'd better have a
> > good reason for such changes.
>
> ok, i suppose the real problem is that if you have the following in a
> texinfo document:
>
>
> some text in a normal paragraph.
>
> @format
> a block that should go inside a pre element
> @end format
>
> the html output does not contain a <p> tag even though there is a
> double-space in the texinfo input.
Sorry, I must be dense today. By ``double-space'' do you refer to the
single empty line between "some text" and "@format"? If so, why do you
call it ``double'', and what problems do you see in how makeinfo formats
this snippet?
I don't have the HTML references handy, but doesn't <pre> automatically
implies <p>? I think it does.
Anyway, your change adds <br>, not <p>, so how did <p> come into this?
> putting a br was a quick fix that
> is almost correct. i'm not really sure how explicit paragraphs (<p>
> tags) are produced with makeinfo --html.
I think if you put @* into the Texinfo source, it will produce <br>.
