We need to remove the Sphinx HTML docs

[Gerald Pfeifer]

On Tue, 4 Feb 2025, Jonathan Wakely wrote:
> I think we want to remove these too:

Ah, thanks for pointing these out, Jonathan!

> ./gccgo/_static/
> ./gccint/_static/
> ./gdc/_static/
> ./gfc-internals/_static/
> ./gfortran/_static/
> ./gnat_rm/_static/
> ./gnat-style/_static/
> ./gnat_ugn/_static/
:
> ./libgdiagnostics/_static/
> ./libgomp/_static/
> ./libiberty/_static/
> ./libitm/_static/
> ./libquadmath/_static/

Mostly. :-) 

libgdiagnostics is a new library by David (Malcolm) the documentation of 
which is in Sphinx, so I kept that. Correct, David?

I removed the others.

On Tue, 4 Feb 2025, Jonathan Wakely wrote:
> N.B. there's ./jit/_static which should stay, because jit still uses
> sphinx for its docs.

Thanks for pointing this out; it made me tread double carefully.

Gerald