[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: @url vs. @uref

From: Michael Käppler
Subject: Re: @url vs. @uref
Date: Fri, 16 Oct 2020 20:36:21 +0200
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.12.1

Am 16.10.2020 um 15:52 schrieb Jonas Hahnfeld:
Am Freitag, den 16.10.2020, 15:46 +0200 schrieb Michael Käppler:
Am 15.10.2020 um 23:03 schrieb Werner LEMBERG:
we're using both `@url` and `@uref` commands in our documentation,
the overwhelming majority is `@uref`.

michael] ~/lilypond/Documentation/en (master)]> git grep '@url' | wc
michael] ~/lilypond/Documentation/en (master)]> git grep '@uref' | wc

The functionality is exactly the same:

I'd like to unify this. Shall we go with `@uref` to avoid big diffs
and because it is already the majority, or use `@url` what seems
more intuitive to me?
Since this is a pure mechanical change that can be done by a little
script I favour a change to `@url` everywhere.
Here you are:
As commented there, this is the absolutely worst moment to post such
mechanical change with no merit (as far as I understand): This will be
a real nightmare of merge conflicts when picking commits between master
and the to-be-created stable/2.22.
You're absolutely right, Jonas, I should have thought about that.
I closed the MR.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]