[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Differences in `web.html`

From: Werner LEMBERG
Subject: Re: Differences in `web.html`
Date: Tue, 21 Mar 2023 04:11:44 +0000 (UTC)

Jonas wrote:

>> I see the attached difference.  Is it an oversight that
>> `scripts/build/` is not executed while building the
>> website on ''?
> 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 anymore. Rather,
> there is a cronjob that downloads an artifact from gitlab, see

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]