We need to remove the Sphinx HTML docs

[Mark Wielaard]

Hi,

On Fri, 2024-11-15 at 12:14 +0000, Jonathan Wakely via Gcc wrote:
> On IRC mjw suggested that you (Gerald) might object to breaking links
> by just removing them. I think the pages are already broken (the links
> in the sidebar are half missing already).
> 
> If we think preserving those links is important (I don't) then we
> could add this to htdocs/.htaccess:
> [...]
> Can we just remove those pages instead?

Sorry for the "stop energy" here. When I said that I didn't realize
these files are all "top-level". I assumed they were in some versioned
subdir. And I didn't realize the actual links on those pages themselves
were broken.

I still think it is good to make sure Gerald knows. And I really like
the idea of having the .htaccess redirect (in case people hit this
through "old" searches). But I do agree now the old html files really
need to go.

Thanks for noticing and proposing a solution.

Cheers,

Mark