[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: do not upper case @sc argument in HTML cross manual Cross References
From: |
Patrice Dumas |
Subject: |
Re: do not upper case @sc argument in HTML cross manual Cross References |
Date: |
Wed, 8 Mar 2023 20:36:49 +0100 |
On Wed, Mar 08, 2023 at 06:50:03PM +0200, Eli Zaretskii wrote:
> > Date: Wed, 8 Mar 2023 16:40:26 +0100
> > From: Patrice Dumas <pertusus@free.fr>
> >
> > Hello,
> >
> > Right now, as seen in "HTML Cross-reference Command Expansion"
> >
> > For @sc, any letters are capitalized.
> >
> > I'd like to change that for 3 reasons
> > * what capitalization means could differ for locales
>
> Not for ASCII characters, right?
Probably not, but this rule applies to any character.
> > * how this capitalization applies to @sc arguments is not well defined
>
> You mean, what happens with upper-case characters? Or what do you
> mean?
When you have something like
@sc{@abbr{a,b}}, should the a inside @abbr be upper-cased?
> > * it adds unnecessary complexity and ambiguity
> >
> > What do you think?
>
> You are basically suggesting to make @sc a no-op in HTML output? So,
> for example, "@sc{gnu}" will produce "gnu"? Is that reasonable?
No, not at all, not for HTML output in general, only for the
construction of <a> href targets and id for HTML cross references.
For what is described here:
https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref.html
--
Pat
- do not upper case @sc argument in HTML cross manual Cross References, Patrice Dumas, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References, Gavin Smith, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References, Eli Zaretskii, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References,
Patrice Dumas <=
- Re: do not upper case @sc argument in HTML cross manual Cross References, Eli Zaretskii, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References, Gavin Smith, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References, Eli Zaretskii, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References, pertusus, 2023/03/08
- Re: do not upper case @sc argument in HTML cross manual Cross References, Eli Zaretskii, 2023/03/09
- Re: do not upper case @sc argument in HTML cross manual Cross References, pertusus, 2023/03/09
- Re: do not upper case @sc argument in HTML cross manual Cross References, pertusus, 2023/03/09
Re: do not upper case @sc argument in HTML cross manual Cross References, Gavin Smith, 2023/03/08