tree c6d18b4e4def038700091fe5d6a7dce907e6bec2
parent 5374304f666d62bdb7a29240de6d7035a3557207
author Paul Beesley <paul.beesley@arm.com> 1562927827 +0100
committer Paul Beesley <paul.beesley@arm.com> 1568976584 +0000

doc: Render Marvell platform documents

The documentation for Marvell platforms was not included in the
rendered document output until now because, while it was mostly
valid RST format, the files were saved with a .txt extension.

This patch corrects some RST formatting errors, creates a document
tree (index page) for the Marvell documents, and adds the Marvell
subtree to the main index.

Change-Id: Id7d4ac37eded636f8f62322a153e1e5f652ff51a
Signed-off-by: Paul Beesley <paul.beesley@arm.com>