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
 }