man files updated to produce pretty PDF