[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
@url vs. @uref
From: |
Michael Käppler |
Subject: |
@url vs. @uref |
Date: |
Thu, 15 Oct 2020 22:48:28 +0200 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.12.1 |
Hi all,
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:
https://www.gnu.org/software/texinfo/manual/texinfo/html_node/_0040url.html
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?
Cheers,
Michael
- @url vs. @uref,
Michael Käppler <=