Subject: Re: After upgrade of linux-libre, linux-libre-documentation fails to build

From: Rostislav Svoboda <[email-masked]>
Date: Thu, 11 Apr 2024 01:44:30 +0200

> linux-libre-documentation is broken again:

Try to repeat ./bootstrap and configure

See also https://issues.guix.gnu.org/issue/70140 and the commit
74517806f80dab17474a3c5f0b91d437e4d4e052

Cheers, Bost