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

[pertusus]

On Thu, Mar 09, 2023 at 09:10:13AM +0200, Eli Zaretskii wrote:
> > 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?

To answer more directly your question, we consider such nodes to be
duplicates and it raises an error.

-- 
Pat