Bug#987943: www.debian.org: Developers Reference: Sphinx search non-functional: searchindex.js missing

2024-04-07 Thread Holger Wansing
Hi, Holger Wansing wrote (Sat, 25 Nov 2023 12:43:24 +0100): > In the meantime things have evolved, Sphinx has changed its way to > deal with this; see > > > Thus, the current developers-reference built on a bookworm or later system

Bug#1053549: marked as done (Create a Debian theme for documentation based in Sphinx (reStructuredText))

2024-04-07 Thread Debian Bug Tracking System
Your message dated Sun, 7 Apr 2024 13:00:43 +0200 with message-id <20240407130043.894c57d79acee013d4dda...@mailbox.org> and subject line Re: Bug#1053549: Create a Debian theme for documentation based in Sphinx (reStructuredText) has caused the Debian Bug report #1053549, regarding Create a Debian

Re: Bug#1053549: Create a Debian theme for documentation based in Sphinx (reStructuredText)

2024-04-07 Thread Holger Wansing
Hi, Laura Arjona Reina wrote (Fri, 6 Oct 2023 09:35:09 +0200): > Several documentation manuals are being generated now using > ReStructuredText and Sphinx, and it would be nice that a Debian theme in > Sphinx is created and used to match our docs appearance with the Debian > website colours