[Top][All Lists]

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

Re: @url vs. @uref

From: Werner LEMBERG
Subject: Re: @url vs. @uref
Date: Thu, 15 Oct 2020 23:03:03 +0200 (CEST)

> 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
> -l
> 9
> michael] ~/lilypond/Documentation/en (master)]> git grep '@uref' | wc
> -l
> 622
> 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.


reply via email to

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