Merge changes from topic "jts/docs" into integration
authorPaul Beesley <paul.beesley@arm.com>
Fri, 31 May 2019 13:37:55 +0000 (13:37 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Fri, 31 May 2019 13:37:55 +0000 (13:37 +0000)
* changes:
  Removing IRC related info from the documentation
  Further fixes to documentation links


Trivial merge