* man pages, debian style