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