Re: do not upper case @sc argument in HTML cross manual Cross References

[Gavin Smith]

On Wed, Mar 08, 2023 at 04:40:26PM +0100, Patrice Dumas wrote:
> 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
> * how this capitalization applies to @sc arguments is not well defined
> * it adds unnecessary complexity and ambiguity
> 
> What do you think?
> 
> The cross-manual references involving @sc will be broken until the
> manuals linking to or from are regenerated.  But this should not concern
> very few manuals, if any.

As you say, it will only apply to very few manuals so I am happy for this
change to me made for the reasons you state.  Different capitalization in
different locales may not be an issue that will arise very much in practice
but it would be the best to define what happens clearly and this seems
the simplest to achieve with your suggestion, without wasting time on
obscure cases.