Small script to update the rendered PSA API specification

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
1 file changed
tree: 6b09c4c0d68377888e3a25892a56350d3f3bcf9b
  1. docs/
  2. Makefile
  3. update_psa_crypto_api.sh