Re: [help-texinfo] @group => ...?

2019-04-27 Thread Gavin Smith
On Sat, Apr 27, 2019 at 10:12:56AM +0200, Akim Demaille wrote: > In HTML, I would have expected @group...@end group to be ignored, but > actually the result is: > > > > > $ bison -Wmidrule-value mid.y > > mid.y:2.6-13: > style="color:purple">warning: unset value: $$ > > 2 | exp: { a(); } "b

[help-texinfo] @group => ...?

2019-04-27 Thread Akim Demaille
Hi all, I found nothing in the documentation, and my web searches revealed nothing either. Sorry if I missed something somewhere... Bison's documentation uses @group quite liberally to prevent bad page breaks, for instance: > @example > $ @kbd{bison -Wmidrule-value mid.y} > @group > mid.y:2.6

Re: [help-texinfo] html: playing with the style

2019-04-27 Thread Akim Demaille
Hi Patrice! > Le 26 avr. 2019 à 23:38, Patrice Dumas a écrit : > > On Fri, Apr 26, 2019 at 05:54:34PM +0200, Akim Demaille wrote: >> Hi all, >> >> Bison has recently gained colored diagnostics, like GCC does. I would like >> to document that and show examples of this. I would like to do that