Fix building the team manual on debian trixie.

This should still work on older version that are not debian oldoldstable
old.

Author: meisterT

doc/manual/conf.py

@@ -46,13 +46,9 @@
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
 
-# The sphinx_rtd_theme extension does not seem to work with older
-# versions (at least those in buster/bionic). We don't seem to need
-# it yet, so don't add it.
 extensions = [
     'sphinx.ext.ifconfig',
-#   'sphinx_rtd_theme',
-    'rst2pdf.pdfbuilder',
+    'sphinx_rtd_theme',
 ]
 
 # Add any paths that contain templates here, relative to this directory.

doc/manual/develop.rst

@@ -40,7 +40,7 @@ already listed under
 :ref:`submit client <submit_client_requirements>` requirements)::
 
   sudo apt install autoconf automake bats \
-    python3-sphinx python3-sphinx-rtd-theme rst2pdf fontconfig python3-yaml \
+    python3-sphinx python3-sphinx-rtd-theme fontconfig python3-yaml \
     latexmk texlive-latex-recommended texlive-latex-extra tex-gyre
 
 When this software is present, bootstrapping can be done by running

doc/manual/install-workstation.rst

@@ -84,7 +84,7 @@ When DOMjudge is configured and site-specific configuration set,
 the team manual can be generated with the command ``make docs``.
 The following should do it on a Debian-like system::
 
-  sudo apt install python3-sphinx python3-sphinx-rtd-theme rst2pdf fontconfig python3-yaml
+  sudo apt install python3-sphinx python3-sphinx-rtd-theme fontconfig python3-yaml
   cd <INSTALL_PATH>/doc/
   make docs