tree 2dc4aae8167aeb26641b18028861e6dfa22e6a8f
parent f8785f740c0611c7e1ff7e488d7d66f3c28e0cac
author Gilles Peskine <Gilles.Peskine@arm.com> 1548932162 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1548954605 +0100

Documentation: link to the specification separately

Link to rendered copies of the specification on a separate branch,
since the implementation is not always up-to-date with the
specification.

Fix the broken link to the HTML to something that works on the web.

Add instructions to generate the library documentation in HTML locally.