Subject: [PATCH] gnu: linux-libre-documentation: Fix the build for linux-libre 6.8.4.

From: Wilko Meyer <[email-masked]>
Date: Thu, 11 Apr 2024 22:50:13 +0200

Hi Leo,

thanks for this! Saw the issue #70324 earlier this day, if I read git
log -L :linux-libre-documentation:linux.scm right it's a pretty rare
occasion that the inputs of the documentation package change; so I guess
breakage caused by missing inputs rarely if ever happen.

-- 
Kind regards,

Wilko Meyer
[email-masked]