tree e3ceb623dd8cf2ce7fa54e0aca379d49515b6bf2
parent 19a0ace07ce0b4a78156feaa2ed7d4d206be5551
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1400161641 +0100
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1400256691 +0100

Document summary of build options in user guide

Change-Id: I6bd077955bf3780168a874705974bbe72ea0f5f1