Re: Differences in `web.html`

[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 cannot fill in its
> size.  Based on the path above, you've been executing "make doc"
> which also generates the website as part of it. Btw, there are a
> number of other differences, search for "web_version" in the
> Documentation/web/* files.

Han-Wen wrote:

> note that the website isn't built on lilypond.org anymore. Rather,
> there is a cronjob that downloads an artifact from gitlab, see
> https://gitlab.com/hahnjo/lilypond-infrastructure/-/blob/master/website/main.go

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?


    Werner