Thanks for the explanation. In
https://github.com/sagemath/sage/pull/40609, I've tried to fix the small bugs in the docs that you pointed out. However,
> If I use the next button (say the Fedora part) the $ character is
also copied and the copied text gives an error in the terminal because
of the $; it is not a big deal but I guess it can be solved easily.
> In
the same way, in the button of the block starting with "uv venv", only
three lines are copied (first, second and last). Again as above, it is
not a ...
seem to be actually bugs in sphinx (or I cannot figure out why the copy button works in such a strange way there).
For the build issue, it's actually coming from
Traceback (most recent call last):
File "/usr/local/sagemeson/src/build-docs.py", line 8, in <module>
from sage_docbuild.__main__ import main
File "/usr/local/sagemeson/src/sage_docbuild/__main__.py", line 81, in <module>
import sphinx.ext.intersphinx
File "/home/artal/.local/lib/python3.13/site-packages/sphinx/ext/intersphinx.py", line 37, in <module>
from sphinx.builders.html import INVENTORY_FILENAME
File "/home/artal/.local/lib/python3.13/site-packages/sphinx/builders/html/__init__.py", line 45, in <module>
from sphinx.writers.html import HTMLTranslator, HTMLWriter
File "/home/artal/.local/lib/python3.13/site-packages/sphinx/writers/html.py", line 21, in <module>
from sphinx.util.images import get_image_size
File "/home/artal/.local/lib/python3.13/site-packages/sphinx/util/images.py", line 4, in <module>
import imghdr
ModuleNotFoundError: No module named 'imghdr'
That is a result of a too-old sphinx, which is not compatible with python 3.13. After you update sphinx, the build should work.