Move -dev files to libs?
Would anybody object if I moved -dev files and associated
documentation to the libs section? The dev section is by far the
largest section and this would help reduce its size.
We originally moved the libs out to reduce the size and so
nonprogrammers would never have to select packages in libs. This
would still be true, plus programmers would be able to find libs,
-dev, and associated documentation more easily.
Guy
--
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: