Re: Move -dev files to libs?
On Sun 31 May 1998, Guy Maor wrote:
> 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.
I think doc is about the same size as devel, if you take binary-all
into account.
> We originally moved the libs out to reduce the size and so
> nonprogrammers would never have to select packages in libs. This
I wasn't around at the time, but why does moving out the libs (out of
devel, I assume) affect what nonprogrammers have to select in libs?
Apropos the libs directory, it's a pity that dselect shows the libs
about halfway; everything in libs should just be automagically selected
at the end of the selection session; after all you needn't install a
library if there is no package selected that needs that specific library
(of course, in the general case). Having the libs halfway through
complicates the selection for the user. Of course, this might have been
resolved by apm, which I haven't looked at yet.
> would still be true, plus programmers would be able to find libs,
> -dev, and associated documentation more easily.
That last part sounds good. Go for it.
Paul Slootman
--
home: paul@wurtel.demon.nl | work: paul@murphy.nl
http://www.wurtel.demon.nl | Murphy Software, Enschede, the Netherlands
--
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: