On Wed, 15 Jul 2020 at 14:41, Jonny Grant wrote: > I'd be tempted to suggest adding the URL folder to robots.txt to prevent the development documentation coming up first on google. >From some quick tests, that might mean no gcc.gnu.org result is on the first page. That would be bad.
