tree 32b16d462c9b328827c9f8725fa7e718048a34eb
parent db737bb1517118436bd137a772fa8c1d35a10dfa
author John Tsichritzis <john.tsichritzis@arm.com> 1559045619 +0100
committer John Tsichritzis <john.tsichritzis@arm.com> 1559208007 +0100

Further fixes to documentation links

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