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".