On Tue, Mar 19, 2002 at 07:22:56PM +0000, David H. Askew wrote: > I realize that it is basically a debian policy to seperate documentation > and binarys into seperate packages, so that people who don't want the > documentation don't have to install it. However, the policy manual as I > understood it leaves the subject of documentation at the discresion of the > maintainer.
Be careful about using the phrase "Debian policy", as this refers only to what is in the Policy Manual. It is a common practice to separate documentation under certain circumstances, but it is not a policy by any means. > Obviously if a programs source package includes a bunch of documentation > then the docs should be split into another package, but how would you guys > define alot? > > Jedit in particular is bundled with about 1.5 megs of docs which are > integrated into the program via a built in documentation browser. It > might involve a little work in order for me to gracefully seperate the > docs from the binary ... so I wonder about the specifics of the policy... Use your best judgement. If the documentation is large enough, in proportion to the rest of the package, that a significant number of users would prefer not to install it, then balance that against the extra work required to do this, and decide. -- - mdz
