bug#69308: linux-libre-documentation fails to build

[Leo Famulari]

Can you share the error messages here?

On Thu, Feb 22, 2024, at 09:13, Gabriel Wicki wrote:
> linux-libre-documentation fails to build (see
> https://ci.guix.gnu.org/build/3512631/details)