Re: issue with Debian-style html theme for sphinx-based documents

Hi Holger,

even if things get more complex, this is a working solution. I'm very
happy for that and there's no need for spending more time into looking
for a perfect solution.
>From my side you get a thank you very much and a GO for applying this patch.

>>>>> On Tue, 2 Apr 2024 14:47:12 +0200, Holger Wansing <[email protected]> said:

    > The 1ftpfiles and 7doc scripts, which need to be adapted for that, and
    > also the situation on the www mirrors is getting more complex, so I'm unsure 
    > if we want this.
    > See my patch.

    > On the other side, I don't see any other solution apart from developing
    > a new theme.