Add support for documentation build as a target in Makefile

Command to build HTML-formatted pages from docs:

> make doc

Change-Id: I63938aaf3913126ab9036a6acaaf786a1199aef2
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
1 file changed