> From: Gavin Smith
> Date: Sat, 11 Mar 2023 22:04:55 +
> Cc: Patrice Dumas , bug-texinfo@gnu.org
>
> It is pretty common to use @sc with a lower case argument where the
> argument is intended to be in upper case.
The Texinfo manual says:
TeX typesets any uppercase letters between the
Patrice Dumas writes:
> Hello,
>
> Currently @sc is formatted in HTML by putting the argument in
> and upper-casing the argument. There is a CSS property, font-variant-caps
> for small caps. It may be relevant to use it instead of th ecurrent
> setup. However, when there is no CSS, for insta
Hi,
Currently, CONTENTS_OUTPUT_LOCATION=after_top outputs contents first,
then shortcontents, as is written in HTML.pm:4113. Some manuals, such
as that of GCC, place @shortcontents first, in order to let the user
browse a briefer high-level overview before jumping into the (quite
large) table of
