tree 3b03ea51900ff6289c8ee70552c3c15ad296e7bf
parent adfab5b56e0ddd48419eb9d53b34039b24b52625
author Paul Beesley <paul.beesley@arm.com> 1551978202 +0000
committer Paul Beesley <paul.beesley@arm.com> 1558520586 +0100

doc: Remove per-page contents lists

These are no longer needed as there will always be a table of contents
rendered to the left of every page.

Some of these lists can be quite long and, when opening a page, the
reader sees nothing but a huge list of contents! After this patch,
the document contents are front-and-centre and the contents are
nicely rendered in the sidebar without duplication.

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