Re: [help-texinfo] how to suppress the "nodelines" in unsplit HTML?

[Benno Schulenberg]

Op 27-06-17 om 19:20 schreef Gavin Smith:
> On Tue, Jun 27, 2017 at 06:11:22PM +0200, Benno Schulenberg wrote:
> > Hmm...  Then I request either a @rule{} command or a @bare{} command,
>
> You can already do
>
> @html
> <br>
> @end html

Ah.  Great!  (I had searched the texinfo manual for "conditional", but
apparently didn't read far enough; or should have searched for "raw".)

> but I don't recommend it as this kind of thing uglifies your Texinfo
> source.

We'll have to live with that.  It's much better than tacking on a sed
command.

Thanks!  The manual looks better now.

Benno