Re: @url vs. @uref

2020-10-16 Thread Michael Käppler
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/Documentat

Re: @url vs. @uref

2020-10-16 Thread 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 gre

Re: @url vs. @uref

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

Re: @url vs. @uref

2020-10-15 Thread 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 > -l > 9 > michael] ~/lilypond/Documentation/en (master)]> git grep '@uref' | wc > -l > 622 > > The functionality

@url vs. @uref

2020-10-15 Thread Michael Käppler
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