Synopsis: makemandb fails on hp700 State-Changed-From-To: open->closed State-Changed-By: martin%NetBSD.org@localhost State-Changed-When: Sun, 04 Mar 2012 10:43:32 +0000 State-Changed-Why: Turns out the input files listed are actually garbage