Config and scripts for building man pages

Change-Id: I61ba9989cfdbbfdc64fd320210aa06a751c9cd79