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
