| commit | f1e0f15262cf3f19bf2edd93a0d70d6903e2733c | [log] [tgz] |
|---|---|---|
| author | Paul Beesley <paul.beesley@arm.com> | Wed Sep 25 12:58:36 2019 +0000 |
| committer | Paul Beesley <paul.beesley@arm.com> | Wed Sep 25 15:19:29 2019 +0000 |
| tree | efacc19e10ca2045c4f8795fe09efc6f53432304 | |
| parent | 80a624d1a3d7e052df1c7848aa275f1ac09a743b [diff] |
doc: Fix platform port inclusion This patch: - Adds any leftover platform ports that were not having their documentation built (not in the index.rst table of contents) - Corrects a handful of RST formatting errors that cause poor rendering - Reorders the list of platforms so that they are displayed in alphabetical order Change-Id: If8c135a822d581c3c5c4fca2936d501ccfd2e94c Signed-off-by: Paul Beesley <paul.beesley@arm.com>