Re: Variable pitch mode line

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

> Not really.  But if the preformatted regions have hard newlines, that
> will happen automagically.  I believe the HTML produced by makeinfo
> uses hard newlines in blocks that must not be reflowed, isn't that
> right?

I'm not sure what you mean by "hard newline" here?  HTML sections that
shouldn't be reflowed are in <pre> tags and the like, but there's
nothing special about the newline characters in the HTML.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no