formatted man pages for the CVS version control system