[Docs] Add missing requirement (#8238)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 5 Mar 2022 18:00:42 +0000 (10:00 -0800)
committerGitHub <noreply@github.com>
Sat, 5 Mar 2022 18:00:42 +0000 (18:00 +0000)
commit7cf1b94025148115f4523150d169a9b3a6c75da9
tree126215642e49f2f7026510cff4233410c8cf01ee
parentbd992288696666553dd0ec1d1f67620a46a06cc9
[Docs] Add missing requirement (#8238)

Our docs do not build without the `sphinx-rtd-theme` package. This
commit adds the module as an explicit requirement such that if the
module is missing, building the docs fails when configuring and with a
useful error message.
docs/CMakeLists.txt