GNU bug report logs - #59313
[PATCH] gnu: linux-libre: Enable building html and info doc.

Previous Next

Package: guix-patches;

Reported by: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

Date: Wed, 16 Nov 2022 16:57:01 UTC

Severity: normal

Tags: patch

Done: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: "(" <paren <at> disroot.org>
To: Ludovic Courtès <ludo <at> gnu.org>, "Maxim Cournoyer" <maxim.cournoyer <at> gmail.com>
Cc: 59313 <at> debbugs.gnu.org, mail <at> cbaines.net
Subject: [bug#59313] [PATCH] gnu: linux-libre: Enable building html and info doc.
Date: Tue, 22 Nov 2022 06:49:22 +0000

On Tue Nov 22, 2022 at 6:46 AM GMT, Ludovic Courtès wrote:
> Nitpick: I’d write “[arguments]” rather than “[phases]”.

``[arguments]<#:phases>'' would be better, no?

    -- (
This bug report was last modified 2 years and 237 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.