Hello, On Wed 05 Dec 2018 at 11:15AM +0900, Hideki Yamane wrote: > Maybe more eye-candy theme (see https://sphinx-themes.org/) is good for > policy-doc and other debian docs, we can create theme for debian-policy > and share between debian docs. Yup. We put out a call for this as soon as we switched to Sphinx[1] and it was included in Debian Project News.[2] Maybe filing this bug will cause someone who's interested to notice -- thanks! [1] https://lists.debian.org/debian-devel-announce/2017/08/msg00007.html [2] https://www.debian.org/News/weekly/2017/03/#help -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature