I don't know what other commiters think about that, but you could try and suggest a concrete change. Can you write a patch, or at least a paragraph and point to the location it should go to, in the manual?
Le 8 octobre 2022 19:24:31 GMT+02:00, jgart <jg...@dismail.de> a écrit : >On Sat, 08 Oct 2022 08:08:28 +0200 Julien Lepiller <jul...@lepiller.eu> wrote: >> I don't think there's a specific policy, but our packages tend to enable >> most optional dependencies and docs are always useful, so I'd package doc >> dependencies too. >> > >Hi roptat, > >Should we make a policy and add it to the docs? > >-- >jgart > >