[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] @group => <pre>...</pre>?
From: |
Patrice Dumas |
Subject: |
Re: [help-texinfo] @group => <pre>...</pre>? |
Date: |
Mon, 29 Apr 2019 11:10:13 +0200 |
User-agent: |
Mutt/1.10.1 (2018-07-13) |
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. Except for tree and ptypes.h
but they have their own @code and @file.
--
Pat