commit 57354abb2032b4598ce513d5d1ca788fe3bcf356
author Paul Beesley <paul.beesley@arm.com> Thu Mar 07 17:03:22 2019 +0000
committer Paul Beesley <paul.beesley@arm.com> Wed May 22 11:23:06 2019 +0100
tree 3b03ea51900ff6289c8ee70552c3c15ad296e7bf
parent 1ef35512cff8268d518fb15eace03f03f5fb6d6b

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>