On Sun, 4 Mar 2007, Gerald Pfeifer wrote: > I investigated a bit, and it seems that unlike gcc.gnu.org, www.gnu.org > lacks the latest revision (at least) of the bin/preprocess script in our > wwwdocs module: > > revision 1.43 > date: 2006/06/10 21:52:24; author: gerald; state: Exp; lines: +2 -0 > Use sed to work around MetaHTML brokenness wrt. <DIV>. > > I have contacted the GNU sysadmins and asked them to update to the latest > version of the script.
I got a heads up that they did that now, so the problem should be resolved going forward. Please give www.gnu.org twenty-four hours to sync up. Gerald
