Steven Pritchard (steve@xxxxxxxxx) said: > So should those packages be renamed to whatever-doc (or *-doc be > renamed to *-docs)? Or maybe we should just make sure all of the > packages have a Provides: foo-doc[s] so getting the name wrong still > works (at least for apt). Frankly, I've been of the opinion that the docs should be merged into the main package, and can be installed with --excludedocs if people want that. I'm probably in the minority though (and the PHP manual makes this excessive. :) ) Bill
