mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-11-09 14:50:17 +08:00
Run doxygen only if the doxygen directory exists
This commit is contained in:
parent
a0188d6730
commit
744a4ac672