update_psa_crypto_api.sh

#!/bin/sh

set -eu

usage () {
  cat <<EOF
Usage: $0 PATH_TO_PSA_CRYPTO_API_TREE
Update the rendered copy of the PSA Cryptography API specification.

1. Check out the desired version of the PSA Crypto API specification.
    git clone https://github.com/ARMmbed/psa-crypto-api
    git checkout <TAG>
2. Build the specification.
    cd psa-crypto-api
    sudo docker build -t psa_api - <psa-crypto-api/scripts/Dockerfile
    sudo docker run -i -t -u \$(id -u):\$(id -g) -v \$PWD:/var/lib/builds psa_api make
    cd ..
3. Copy the rendered files.
    $0 psa-crypto-api
4. Commit the changes.
    git add docs/html docs/PSA_Cryptography_API_Specification.pdf
    git commit
EOF
}

if [ $# -ne 1 ] || [ "$1" = "--help" ]; then
  usage
  exit $(($# != 1))
fi

version=$(sed -n 's/^\(Version[^0-9A-Za-z][^0-9A-Za-z]*\)//p; T; q' "$1/sphinx-build/html/index.html")
if [ -z "$version" ]; then
    echo >&2 "Fatal error: unable to determine the version."
    exit 1
fi
if [ ! -d "docs/$version" ]; then
    mkdir "docs/$version"
    cat <<EOF
NOTE: Please update "Past versions" in docs/psa/index.md to add $version
      then run make.

NOTE: You may need to update the "latest" symbolic link.
    ln -snf "$version" docs/latest
EOF
fi

rsync -a --delete "$1/sphinx-build/html" "docs/$version/"
rsync -a "$1/sphinx-build/latex/psa_crypto_api.pdf" "docs/$version/PSA_Cryptography_API_Specification.pdf"