Re: Differences in `web.html`

2023-03-21 Thread Carl Sorensen
On 3/21/23, 10:11 AM, "lilypond-devel-bounces+carl.d.sorensen+digest=gmail@gnu.org" wrote: Le mardi 21 mars 2023 à 04:11 +, Werner LEMBERG a écrit : > Thanks for the explanations. Do I understand correctly that we have a > nifty feature (namely showing the file size to download) that

Re: Differences in `web.html`

2023-03-21 Thread Jean Abou Samra
Le mardi 21 mars 2023 à 04:11 +, Werner LEMBERG a écrit : > Thanks for the explanations.  Do I understand correctly that we have a > nifty feature (namely showing the file size to download) that stays > unused because it would be too expensive for deployment, both CPU- and > time-wise? Technic

Re: Differences in `web.html`

2023-03-20 Thread Werner LEMBERG
Jonas wrote: >> I see the attached difference.  Is it an oversight that >> `scripts/build/fix-docsize.sh` is not executed while building the >> website on 'lilypond.org'? > > Yes, intentionally so: "make website" does not execute it because it > doesn't have access to the linked manuals and cann

Re: Differences in `web.html`

2023-03-20 Thread Han-Wen Nienhuys
On Mon, Mar 20, 2023 at 3:35 PM Werner LEMBERG wrote: > > > Comparing > > http://lilypond.org/web.html > > with a self-compiled > > .../out-www/offline-root/Documentation/web/web.html > > I see the attached difference. Is it an oversight that > `scripts/build/fix-docsize.sh` is not executed w

Re: Differences in `web.html`

2023-03-20 Thread Jonas Hahnfeld via Discussions on LilyPond development
On Mon, 2023-03-20 at 14:34 +, Werner LEMBERG wrote: > Comparing > >   http://lilypond.org/web.html > > with a self-compiled > >   .../out-www/offline-root/Documentation/web/web.html > > I see the attached difference.  Is it an oversight that > `scripts/build/fix-docsize.sh` is not executed

Differences in `web.html`

2023-03-20 Thread Werner LEMBERG
Comparing http://lilypond.org/web.html with a self-compiled .../out-www/offline-root/Documentation/web/web.html I see the attached difference. Is it an oversight that `scripts/build/fix-docsize.sh` is not executed while building the website on 'lilypond.org'? Werner PS: That we no