We need to remove the Sphinx HTML docs

[Gerald Pfeifer]

On Sun, 31 Aug 2025, Jonathan Wakely wrote:
>>   $ ll /www/gcc/htdocs/onlinedocs/libstdc++/ext/
>>   total 6760
>>   -rw-rw-r--. 1 gccadmin gcc 1132364  2. Jun 2015  lwg-active.html
>>   -rw-rw-r--. 1 gccadmin gcc 1414040  2. Jun 2015  lwg-closed.html
>>   -rw-rw-r--. 1 gccadmin gcc 4344911  2. Jun 2015  lwg-defects.html
> These are copied from elsewhere, not generated. I'll need to check if
> they're still referenced by the docs (and then either remove them or
> replace them with newer copies).

I just recalled that in 2017 you were in favor of removing these:

  https://gcc.gnu.org/legacy-ml/libstdc++/2017-01/msg00165.html

>> Which of these three can I yank? (And which do I need to account for?)
> Please don't remove anything under libstdc++/ until I've looked into it
> further.

Sure - that's why I asked. :-)

Gerald