tree 35345be85d6e5cf1c4404a2ac7829be91669f7e9
parent 4fbe218f24de20c7d7a2692c7e7c45dc30f70e1b
author Sumit Dey <dey.sumit.kr@gmail.com> 1624064949 +0200
committer Sumit Dey <dey.sumit.kr@gmail.com> 1627726876 +0200

Fix dependency check for building documentation

Build with documentation fails if the required 'sphinx rtd theme' is
not available. Check if dependency is installed before building with
documentation.

Add Python3 as requirement for building documentation.

Change-Id: I5edc5d7374864990e625a5efb358f5a23b3c50fe