Han-Wen Nienhuys <hanw...@gmail.com> writes: > On Wed, Mar 11, 2020 at 11:56 PM David Kastrup <d...@gnu.org> wrote: >> >> >> I am not particularly surprised, to be honest: it did seem like the >> website would employ something other than the online-root/offline-root >> targets in the normal Stepmake build procedure. >> >> The sized were inaccurate anyway. I'll read up in the CG to see whether >> I can figure out just what scripts actually do the website >> creation/build/installation and see whether I can get the size script >> inside.
> The website uses scripts that aren't directly checked out from > savannah, so you can't directly compromise the webserver through code > commits. > > I can update the scripts. Ok. It's just that I don't know whether I got the right script in the right manner here. The update itself, assuming the respective script got transferred to the website, should be not more than a one-liner in the respective Makefile (?). And since it works from files that have gotten the required HTML comments, it should work (or fail gracefully) depending on whether its prerequisites are at the expected places in the file tree. But I don't have a real handle on this myself. -- David Kastrup