Merge pull request #1731 from miyatsu/doc-fix-20181225
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 4 Jan 2019 09:14:22 +0000 (09:14 +0000)
committerGitHub <noreply@github.com>
Fri, 4 Jan 2019 09:14:22 +0000 (09:14 +0000)
commit3f99f7e4cb4df8291a624b7463469580da4304bd
treea271965eeda6196c40743b126be47f2f44bd7de6
parentacfc1bc259045f30c625c5abba24195c87ac1c89
parent44eb04d23e93718fcc28483bad146a33d0511634
Merge pull request #1731 from miyatsu/doc-fix-20181225

docs: marvell: Fix typo in file build.txt