Note the need to maybe update index.md in the help text
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/update_psa_crypto_api.sh b/update_psa_crypto_api.sh
index 533e986..662033c 100755
--- a/update_psa_crypto_api.sh
+++ b/update_psa_crypto_api.sh
@@ -17,7 +17,11 @@
cd ..
3. Copy the rendered files.
$0 psa-crypto-api
-4. Commit the changes.
+4. If this is a new numbered version:
+ edit docs/psa/index.md # Add the new version
+ make
+ ln -snf <VERSION> docs/latest
+5. Commit the changes.
git add docs/html docs/PSA_Cryptography_API_Specification.pdf
git commit
EOF