On 2023-11-18, Herman Rimm wrote:
> * gnu/local.mk: De-register patches.
> * gnu/packages/bootloaders.scm (u-boot): Update to 2023.10.
> [source]: Remove patches.
> * gnu/packages/patches/u-boot-allow-disabling-openssl.patch: Refresh.
> * gnu/packages/patches/u-boot-fix-build-python-3.10.patch: Delete file.
> * gnu/packages/patches/u-boot-fix-u-boot-lib-build.patch: Delete file.
> * gnu/packages/patches/u-boot-rk3399-enable-emmc-phy.patch: Delete file.
> * gnu/packages/patches/u-boot-rockchip-inno-usb.patch: Refresh.

This appears to have broken building u-boot-documentation:

  starting phase `build'
    HOSTCC  scripts/basic/fixdep
    SPHINX  texinfodocs --> file:///tmp/guix-build-u-boot-documentation-2023.10.drv-0/u-boot-2023.10/doc/output/texinfo
    PARSE   include/linker_lists.h
  Running Sphinx v5.1.1
  Warning: The Sphinx 'sphinx_rtd_theme' HTML theme was not found. Make sure you have the theme installed to produce pretty HTML output. Falling back to the default theme.
  Fontconfig error: No writable cache directories
  Fontconfig error: No writable cache directories
  
  Extension error:
  Could not import extension sphinx-prompt (exception: No module named 'sphinx-prompt')
  make[1]: *** [doc/Makefile:73: texinfodocs] Error 2
  make: *** [Makefile:2380: infodocs] Error 2

I tried adding python-sphinx-rtd-theme and python-sphinx-prompt, but
unfortunately python-sphinx-prompt does not build.

CCing members of the python team and Maxim Cournoyer who originally
added u-boot-documentation.


live well,
  vagrant