We need to remove the Sphinx HTML docs

[Gerald Pfeifer]

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

I noticed onlinedocs/libgccjit/_static and it's parent 
onlinedocs/libgccjit have not been updated since 14 Nov 2022, which was 
the day of the attempted wholesale conversion to Sphinx.

Is onlinedocs/libgccjit just how what is now onlinedocs/jit would have 
been called after the conversion and should be removed?

Gerald