Re: Packaging docs

2022-10-08 Thread Julien Lepiller
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 a écrit : >On Sat, 08 Oct 2022 08:08:28 +0200

Re: Packaging docs

2022-10-08 Thread jgart
On Sat, 08 Oct 2022 08:08:28 +0200 Julien Lepiller 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? --

Re: Packaging docs

2022-10-07 Thread Julien Lepiller
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. Le 8 octobre 2022 05:08:34 GMT+02:00, jgart a écrit : >Hi, > >What's are policy for packaging do

Packaging docs

2022-10-07 Thread jgart
Hi, What's are policy for packaging docs deps? For example, this package has docs deps: https://github.com/m-lundberg/simple-pid/blob/master/docs/requirements.txt Should those be packaged and included also in the Guix package definition? Is our policy for packaging docs deps docum