bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

in printed output, @deffn arguments should use a typewriter font like wi


From: Vincent Lefevre
Subject: in printed output, @deffn arguments should use a typewriter font like with @deftypefn
Date: Fri, 2 Sep 2022 17:49:26 +0200
User-agent: Mutt/2.2.7+30 (1fccbbf8) vl-149028 (2022-08-07)

With texinfo.tex 2022-09-01.06, consider

@deffn Command name-min arg-min
@end deffn

@deffn Command name-min @var{arg-min}
@end deffn

In printed output (PDF), name-min is printed in typewriter font
as expected, but arg-min is printed in slanted font instead of
slanted typewriter font (whether @var is used or not).

I think that this is incorrect, and slanted typewriter font should
be used, as already done with @deftypefn.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)



reply via email to

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