Make docs build - drop man page option

The man page option was breaking the docs build, since we don't expect
anyone to install this git repo and require a man page, don't build any
man pages.

Change-Id: I50b044c36cb4ec0b76da9dca1feefe0d9614fb7f