Re: [Hackage] #555: mandir is totally busted (wrong, and ignores --destdir)?