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>
84 files changed
tree: ae815abc37118283c03584799eb1ea370a61aa9c
  1. docs/
  2. Makefile
  3. update_psa_crypto_api.sh