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; /* @r{@code{tree} 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
