Merge pull request #526 from antonio-nino-diaz-arm/an/missing_doc
authordanh-arm <dan.handley@arm.com>
Thu, 18 Feb 2016 18:33:59 +0000 (18:33 +0000)
committerdanh-arm <dan.handley@arm.com>
Thu, 18 Feb 2016 18:33:59 +0000 (18:33 +0000)
Add missing build options to the User Guide

1  2 
docs/user-guide.md

Simple merge