tree 7e5f24e601f54aa6a5ed1288d6fb688c2d4b4dbb
parent bf4540ed515dad18f4722260b87e69d94d5ab3f2
author John Tsichritzis <john.tsichritzis@arm.com> 1558697269 +0100
committer John Tsichritzis <john.tsichritzis@arm.com> 1558699145 +0100

Docs fixes

1) Fix links in "about" page
2) Put back the "contents" page with adjusted links

Change-Id: Id09140b91df5cf0a275149801d05d8cfeeda1c6e
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>