tree f264be730ee0ff03608cba4c4ca427d8e60163e3
parent d09f7e9d5e3bfab2d7ec7e81fd6a55786edca17a
author Sameer Agarwal <sameeragarwal@google.com> 1653372160 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1653372160 -0700

Fix detection of sphinx-rtd-theme

Upstreaming fix from Debian.

https: //github.com/ceres-solver/ceres-solver/issues/809
Change-Id: I0e2f90a405a56ceffdda37f70d6e1ac853e176f1