> > 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?
yes. it's a "double-space" because it takes 2 newlines to produce
it.
> I don't have the HTML references handy, but doesn't <pre> automatically
> implies <p>? I think it does.
html4.1 spec says pre is an inline element.
> Anyway, your change adds <br>, not <p>, so how did <p> come into this?
right but:
the right thing would be for makeinfo --html to output <p> upon
processing the double-space. but then you would have <p><pre> which
might be interpreted by some browsers as something like "indent 5
spaces and then start a pre element". the br tag insures that the pre
block will begin at the left margin.
> > 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>.
true, but then the @* would show up when processing w/o the --html
option--which would not be correct.
