debian: include man pages in package again