gcc.gnu.org web site updates broken (was: No more notifications of wwwdocs commits?)

[Gerald Pfeifer <gerald@pfeifer.com>]

On Sun, 8 Mar 2020, Frank Ch. Eigler wrote:
> That is correct - it is fantastic fish.

Indeed. :-)

On Sun, 8 Mar 2020, Frank Ch. Eigler wrote:
> The metahtml program needed to be lovingly fetched, built, and lightly
> installed, and some git sharedrepository flags fixed; now at least one
> can commit to gcc-wwwdocs.git and have it propagate.

Thank you!

I tried to use this to regenerate all web pages and noticed that the 
mhc command hangs without producing any output.

Tracing this a bit I observed that mhc consumes memory like crazy (I 
killed it at 16 GB once, 40 GB another time) and there is a constant 
set of invocations of brk().


A sample input file generated on the new server is at
~gccadmin/gerald.html.  Processing that with a local version 
of MetaHTML 5.09 proceeds swiftly and with the desired output.

I see that you installed MetaHTML 6.11 which is not on the GNU servers.
To make sure we are looking at the same thing, where did you get that
from?


Bad news: installing the older version is difficult -- it required a 
fair bit of hacks already ten years ago.  Yes, I have been working to 
reduce dependencies on MetaHTML altogether.

Any chance you could copy over the working binary from the old machine?
Right now gcc.gnu.org cannot update any web pages.

Gerald