[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue #5822 aftermath: download sizes are gone from web site
From: |
Han-Wen Nienhuys |
Subject: |
Re: Issue #5822 aftermath: download sizes are gone from web site |
Date: |
Tue, 24 Mar 2020 21:18:07 +0100 |
Thanks, I patched it up.
On Tue, Mar 24, 2020 at 5:31 PM David Kastrup <address@hidden> wrote:
>
> Francisco Vila <address@hidden> writes:
>
> > El 24/3/20 a las 11:19, Francisco Vila escribió:
> >> El 24/3/20 a las 10:21, Han-Wen Nienhuys escribió:
> >>> b'@uref{http://lilypond.org/download/sources/v2.20/lilypond-2.20.0.tar.gz,
> >>> C\xc3\xb3digo fuente: lilypond-2.20.0.tar.gz}'
> >>>
> >>> Looks like these strings come from the source code itself.
> >>>
> >>> graham@lilypond-webserver:~/lilypond/build-website$ python --version
> >>> Python 2.7.12
> >>>
> >>> make.website should specify python3 rather than python.
> >>>
> >>> Do the string literals with unicode codepoints need to be declared
> >>> as u" " ?
> >>
> >> Should I save the file with a different encoding?
> >>
> > Uh-oh, now I see macro names, unexpanded, online.
>
> At the toplevel web page http://lilypond.org , no less.
>
>
>
> --
> David Kastrup
--
Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen
- Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/11
- Re: Issue #5822 aftermath: download sizes are gone from web site, Han-Wen Nienhuys, 2020/03/13
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/13
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/20
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/23
- Re: Issue #5822 aftermath: download sizes are gone from web site, Han-Wen Nienhuys, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Francisco Vila, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Francisco Vila, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site,
Han-Wen Nienhuys <=
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, Francisco Vila, 2020/03/24
- Re: Issue #5822 aftermath: download sizes are gone from web site, David Kastrup, 2020/03/24