Merge "Fix documentation links" into integration
authorJohn Tsichritzis <john.tsichritzis@arm.com>
Tue, 28 May 2019 11:53:58 +0000 (11:53 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Tue, 28 May 2019 11:53:58 +0000 (11:53 +0000)

Trivial merge