tree ae815abc37118283c03584799eb1ea370a61aa9c
parent a586c5a66cd83f8b58216382e7d54bd6e8093bfa
author Gilles Peskine <Gilles.Peskine@arm.com> 1694618090 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1694618167 +0200

Replace HTML files by redirection to the official spec hosting

Use HTML redirects since we can't do HTTP redirects on GitHub pages.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>