Merge pull request #1716 from miyatsu/marvell-doc-fix-20181210
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Mon, 17 Dec 2018 10:54:16 +0000 (11:54 +0100)
committerGitHub <noreply@github.com>
Mon, 17 Dec 2018 10:54:16 +0000 (11:54 +0100)
docs: marvell: Fix typo in file build.txt


Trivial merge