[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: |
Eli Zaretskii |
Subject: |
Re: do not upper case @sc argument in HTML cross manual Cross References |
Date: |
Thu, 09 Mar 2023 09:10:13 +0200 |
> Date: Wed, 8 Mar 2023 23:31:55 +0100
> From: pertusus@free.fr
> Cc: Gavin Smith <gavinsmith0123@gmail.com>, bug-texinfo@gnu.org
>
> On Wed, Mar 08, 2023 at 10:16:02PM +0200, Eli Zaretskii wrote:
> > > From: Gavin Smith <gavinsmith0123@gmail.com>
> > > Date: Wed, 8 Mar 2023 20:11:02 +0000
> > > Cc: Patrice Dumas <pertusus@free.fr>, bug-texinfo@gnu.org
> > >
> > > It is to affect URLs, not for the main text of the document that the user
> > > would read.
> >
> > If it's _only_ for URLs, then it could be OK. But beware of clashing
> > due to case differences that will have disappeared because of this
> > change.
>
> Indeed, following this change, the following two nodes will clash while
> they did not before
>
> @node my node
>
> @node my @sc{node}
>
> However, I consider it better if the two nodes clash.
Do we have a good clash resolution technique for these cases? I
thought what we do in those cases is rather flaky, and only "works"
because it isn't supposed to happen too much, and because we don't
really care too much about case-insensitive filesystems.
- 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, 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, 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 <=
- 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
- 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, Eli Zaretskii, 2023/03/10
- Re: do not upper case @sc argument in HTML cross manual Cross References, Gavin Smith, 2023/03/10
- Re: do not upper case @sc argument in HTML cross manual Cross References, Eli Zaretskii, 2023/03/10