help-texinfo
[Top][All Lists]
Advanced

[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]