Merge "doc: Isolate security-related build options" into integration
authorJohn Tsichritzis <john.tsichritzis@arm.com>
Thu, 20 Jun 2019 09:54:53 +0000 (09:54 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Thu, 20 Jun 2019 09:54:53 +0000 (09:54 +0000)

Trivial merge