[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] @group => <pre>...</pre>?
From: |
Akim Demaille |
Subject: |
Re: [help-texinfo] @group => <pre>...</pre>? |
Date: |
Mon, 29 Apr 2019 17:05:19 +0200 |
> Le 29 avr. 2019 à 11:10, Patrice Dumas <address@hidden> a écrit :
>
> On Sun, Apr 28, 2019 at 06:29:07PM +0200, Akim Demaille wrote:
>>
>> https://www.gnu.org/software/bison/manual/html_node/Prologue-Alternatives.html
>>
>> does not show the comment /* tree is defined in ptypes.h. */ in roman,
>> also the source is:
>>
>> @group
>> %union @{
>> long n;
>> tree t; /* @address@hidden is defined in @file{ptypes.h}.} */
>> @}
>> @end group
>>
>> as a matter of fact, it even shows in a bigger font with the default
>> css.
>
> It does, but it seems to be in roman to me.
Ok, it's Roman with Firefox and Chrome, not with Safari.