mirror of
https://github.com/ceres-solver/ceres-solver.git
synced 2026-08-30 00:50:37 +08:00
7de561e8e8
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