DI: split depends.py#201

gilles-peskine-arm wants to merge 4 commits into

Mbed-TLS:mainMbed-TLS/mbedtls-docs:mainfrom

gilles-peskine-arm:depends.py-split-specgilles-peskine-arm/mbedtls-docs:depends.py-split-specCopy head branch name to clipboard