[#3941] Hammer: install_sphinx -> python3-sphinx

diff --git a/hammer.py b/hammer.py
index 33c560da2d6fe1902b2ee7d4b860a4b9aceffaf7..4925e071a47f247d24c33497e73d488d014d6045 100755 (executable)
--- 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')