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)
docs: marvell: Fix typo in file build.txt


Trivial merge