Merge "doc: Fix indentation in build options documentation" into integration

This commit is contained in:
Olivier Deprez 2019-12-17 09:02:50 +00:00 committed by TrustedFirmware Code Review
commit 52ff3b4c79