Hi Holger,
On Sun, 7 Apr 2024 13:00:43 +0200, Holger wrote:
> The only thing which is not working currently, is the search functionality,
> but since that's not theme-specific I guess (please correct me, if I'm
> wrong), I close this bug.
The theme looks great, and I agree with closing this bug.
Hello DSA
To switch the Debian release-notes to the new Debian-style html theme
(already active for debian-policy, see [1]), we need one more package
installed on wolkenstein: python3-sphinx-rtd-theme.
Rationale: other manuals like debian-policy are not built from scratch
on wolkenstein, but
On Thu, Apr 11, 2024 at 09:18:06AM +0200, Thomas Lange wrote:
> A single page html may be an additional option but there's already the
> single page txt version and the PDF. That's sufficient and I see no
> need in providing more formats of this manual.
>
> Therefore we can close this and I will
Currently we have a working solution using js and providing multi page
html. That's a good solution which is already available.
> I did not go deeper into this scenario, I just found
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877337
> which includes a
Your message dated Thu, 11 Apr 2024 09:21:37 +0200
with message-id <26135.36737.787967.779...@cs.uni-koeln.de>
and subject line closing
has caused the Debian Bug report #877337,
regarding www.debian.org: Switch back to single page version of Policy Manual
to be marked as done.
This means that you
5 matches
Mail list logo
