From fe7b01fb05921820f5ed6420124944fa47f29f95 Mon Sep 17 00:00:00 2001 From: Andrei Pavel Date: Tue, 10 Jun 2025 15:34:04 +0300 Subject: [PATCH] [#3941] Hammer: install_sphinx -> python3-sphinx --- hammer.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hammer.py b/hammer.py index 33c560da2d..4925e071a4 100755 --- a/hammer.py +++ b/hammer.py @@ -1997,8 +1997,8 @@ def install_packages_local(system, revision, features, check_times, ignore_error deferred_functions.append(install_meson) if 'docs' in features: - packages.extend(['doxygen', 'graphviz', 'tex-gyre', 'texlive', 'texlive-latex-extra']) - deferred_functions.append(install_sphinx) + packages.extend(['doxygen', 'graphviz', 'python3-sphinx', 'python3-sphinx-rtd-theme', 'tex-gyre', + 'texlive', 'texlive-latex-extra']) if 'unittest' in features: packages.append('googletest')