We need to remove the Sphinx HTML docs

[Gerald Pfeifer]

On Fri, 15 Nov 2024, Jonathan Wakely wrote:
> All these directories should have been removed two years ago:

Agreed. Thank you for digging into this and raising it, Jonathan!

> $ ls -1 -d htdocs/onlinedocs/gcc/*/
> htdocs/onlinedocs/gcc/c-implementation-defined-behavior/
> htdocs/onlinedocs/gcc/extensions-to-the-c++-language/
> htdocs/onlinedocs/gcc/extensions-to-the-c-language-family/
> htdocs/onlinedocs/gcc/gcc-command-options/
> htdocs/onlinedocs/gcc/gcov/
> htdocs/onlinedocs/gcc/gnu-objective-c-features/
> htdocs/onlinedocs/gcc/known-causes-of-trouble-with-gcc/
> htdocs/onlinedocs/gcc/language-standards-supported-by-gcc/
> htdocs/onlinedocs/gcc/_sources/
> htdocs/onlinedocs/gcc/_static/

These, plus

  -rw-r--r--. 1 gccadmin shared   59124 14. Nov 2022  objects.inv
  -rw-r--r--. 1 gccadmin shared 1459709 14. Nov 2022  searchindex.js

are now gone.

Gerald