On Tue, 14 Jan 2020, Jason Merrill wrote:

> I notice that git.html on the website doesn't match what's currently in
> wwwdocs git, is automatic updating broken?

/www/gcc/wwwdocs-checkout/cgi-bin/gcc-gitref.cgi had local changes 
(committed, but not reverted in that checkout before they were committed), 
thereby breaking automatic updates:

error: Your local changes to the following files would be overwritten by merge:
Please commit your changes or stash them before you merge.

I've now reverted that and updated that checkout and am running 
update_web_docs_git which preprocesses the whole website among other 

Joseph S. Myers

Reply via email to