Joe Gordon edb3ea715e 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		2014-10-21 09:39:59 -07:00
..
source	Make docs build - drop man page option	2014-10-21 09:39:59 -07:00