[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 15:46:08 +0200
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.12.1

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:

A nice weekend everyone,


reply via email to

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