On Wed, Jan 30, 2013 at 11:49:00AM +0100, Holm Tiffe wrote: > Have I missed something in the configuration that made it core dumping? Unlikely - sounds like a bug in makemandb, may depend on the set of man pages you have installed or whatever. Martin