Update PSA API specification to 1.0.1
Generated according to the instructions in update_psa_crypto_api.sh
using the tag psa-crypto-api-1.0.1.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/update_psa_crypto_api.sh b/update_psa_crypto_api.sh
index 7a526df..50b6b4b 100755
--- a/update_psa_crypto_api.sh
+++ b/update_psa_crypto_api.sh
@@ -18,7 +18,8 @@
3. Copy the rendered files.
$0 psa-crypto-api
4. Commit the changes.
- git commit docs/html docs/PSA_Cryptography_API_Specification.pdf
+ git add docs/html docs/PSA_Cryptography_API_Specification.pdf
+ git commit
EOF
}