On Sun, 15 May 2022, Akira Yokosawa wrote: > > NB XeTeX, Version 3.14159265-2.6-0.99999 (TeX Live 2019/dev/Debian) and > > Sphinx 1.8.4 here. > > As mentioned in the section titled "PDF and LaTeX builds" in > Documentation/doc-guide/sphinx.rst, "make pdfdocs" requires Sphinx 2.4 or > later. Ack, noted. Note however that Documentation/Changes says: Sphinx\ [#f1]_ 1.7 sphinx-build --version ====================== =============== ======================================== .. [#f1] Sphinx is needed only to build the Kernel documentation Perhaps the additional requirement could be mentioned in the footnote? [Also this is a production system and 1.8.4 is the only version available in the distribution it has installed, so I may not be able to upgrade for the foreseeable future anyway.] > You can say "make SPHINXDIRS=<sub dir> htmldocs pdfdocs" to > test-build docs under Documentation/<sub dir>/. > You might see false warnings of "WARNING: undefined label: ..." > which you wouldn't see in full builds, though. > > Hope this helps. Sure, thanks a lot! Maciej