[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: lilypond.org has wrong HTML files for 2.19.84
From: |
Marnen Laibow-Koser |
Subject: |
Re: lilypond.org has wrong HTML files for 2.19.84 |
Date: |
Wed, 4 Mar 2020 15:15:40 -0500 |
On Wed, Mar 4, 2020 at 3:14 PM David Kastrup <address@hidden> wrote:
> Werner LEMBERG <address@hidden> writes:
>
> >> From: Marnen Laibow-Koser <address@hidden>
> >> Date: Wed, 4 Mar 2020 10:35:00 -0500
> >>
> >>> The search algorithm is actually documented in `usage.pdf`,
> >>
> >> I’ve never seen that file. Where would I find it?
> >
> > Ouch. It should be at
> >
> >
> http://lilypond.org/doc/v2.19/Documentation/usage-big-page.html#relocation
> >
> > but it's missing! The same for
> >
> > http://lilypond.org/doc/v2.19/Documentation/usage.pdf
> >
> > which misses the whole section on relocation.
> >
> > This means that the HTML files on lilypond.org are not reflecting
> > 2.19.84 — I've added the documentation for relocation with commit
> > 7200d7365be more than a year ago...
> >
> > This is a serious problem IMHO.
>
> I think that it will cure itself once 2.21.0 is released. We had this
> last time round I think.
>
> But the 2.20.0 version is more up to date anyway.
I didn’t see the relocation instructions in the 2.20 docs on the website
either.
>
> --
> David Kastrup
>
--
Marnen Laibow-Koser address@hidden http://www.marnen.org Sent from Gmail
Mobile
- Re: How do I change LOCALEDIR?, (continued)
- Re: How do I change LOCALEDIR?, Marnen Laibow-Koser, 2020/03/03
- Re: How do I change LOCALEDIR?, Werner LEMBERG, 2020/03/03
- Re: How do I change LOCALEDIR?, Marnen Laibow-Koser, 2020/03/04
- Re: How do I change LOCALEDIR?, Werner LEMBERG, 2020/03/04
- Re: How do I change LOCALEDIR?, Marnen Laibow-Koser, 2020/03/04
- lilypond.org has wrong HTML files for 2.19.84 (was: How do I change LOCALEDIR?), Werner LEMBERG, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, Werner LEMBERG, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, Marnen Laibow-Koser, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84 (was: How do I change LOCALEDIR?), Marnen Laibow-Koser, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, David Kastrup, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84,
Marnen Laibow-Koser <=
- Re: lilypond.org has wrong HTML files for 2.19.84, David Kastrup, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, Marnen Laibow-Koser, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, David Kastrup, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, Marnen Laibow-Koser, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, Jonas Hahnfeld, 2020/03/04
- Re: lilypond.org has wrong HTML files for 2.19.84, Werner LEMBERG, 2020/03/05