Merge "doc: Fix platform port inclusion" into integration
authorSoby Mathew <soby.mathew@arm.com>
Fri, 27 Sep 2019 09:54:07 +0000 (09:54 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Fri, 27 Sep 2019 09:54:07 +0000 (09:54 +0000)

Trivial merge