On Sat, Mar 17, 2007 at 02:49:21PM +0100, Lieven De Keyzer wrote: > The package pkgtools/pkgmanpages had been removed from the pkgsrc > tree. However, if I want to remove it ( pkg_delete pkgmanpages ), I > get: "Package `pkgmanpages-20050911' is marked as not for deletion". pkg_delete -f pkgmanpages. Joerg