Re: Bug#96224: libgmp3: Move documentation in the -dev package

[Tollef Fog Heen <tollef@add.no>]

* Christian Marillat 

| >>>> "DS" == Dale Scheetz <dwarf@polaris.net> writes:
|
| DS> While the principle of "least surprise" is important, it should not be
| DS> used to stifle progress. Moving the docs and demos out of the runtime
| DS> package is a significant "bloat" reduction. Moving them into -dev is not.
| DS> Making a third package -doc, containing the info, doc, and demo sections
| DS> now found in the runtime package makes the most sense. Thus a
| DS> non-development system can still have complete documentation when needed
| DS> without either the runtime or the -dev packages installed. (screw 'em if
| DS> they can't find it ;-)
| 
| "My" conclusion:
| 
| You can't build demos source if the -dev package isn't installed. And the
| info documentation is *really* for developper. This package contain
| libraries, so an end user don't need to know how to program this library.

Sometimes, a library is installed because it is needed to fulfill a
Build-dependency, not because the one installing it is interested in
using it to program anything.

-- 

Tollef Fog Heen
Unix _IS_ user friendly... It's just selective about who its friends are.