From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sat, 5 Mar 2022 18:00:42 +0000 (-0800)
Subject: [Docs] Add missing requirement (#8238)
X-Git-Tag: cvc5-1.0.0~316
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7cf1b94025148115f4523150d169a9b3a6c75da9;p=cvc5.git

[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.
---

diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index e37183f90..e205d59b7 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -17,6 +17,7 @@ check_python_module(breathe)
 check_python_module(sphinxcontrib.bibtex sphinxcontrib-bibtex)
 check_python_module(sphinx_tabs.tabs sphinx-tabs)
 check_python_module(sphinxcontrib.programoutput sphinxcontrib.programoutput)
+check_python_module(sphinx_rtd_theme sphinx-rtd-theme)
 
 add_subdirectory(api)