From 74270df9acbb619ce58830eb6940b3366d372526 Mon Sep 17 00:00:00 2001 From: Jos Verlinde Date: Thu, 25 Sep 2025 12:15:16 +0200 Subject: [PATCH] docs/README: Update doc build dependency. The docs were changed in c3040463849eb9b3e5f85706bb223d648e60510d to require sphinx_rtd_theme. Signed-off-by: Jos Verlinde --- docs/README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/README.md b/docs/README.md index 892726ba17..11ad32ddb5 100644 --- a/docs/README.md +++ b/docs/README.md @@ -13,8 +13,7 @@ Building the documentation locally If you're making changes to the documentation, you may want to build the documentation locally so that you can preview your changes. -Install Sphinx, and optionally (for the RTD-styling), sphinx_rtd_theme, -preferably in a virtualenv: +Install Sphinx and sphinx_rtd_theme, preferably in a virtualenv: pip install sphinx pip install sphinx_rtd_theme