guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#43823] [PATCH 2/3] gnu: knot: Build the Info manual.


From: Tobias Geerinckx-Rice
Subject: [bug#43823] [PATCH 2/3] gnu: knot: Build the Info manual.
Date: Tue, 06 Oct 2020 03:10:17 +0200

Simon,

Simon South 写道:
This also silences a configure warning about the "sphinx-build"
command being unavailable.

./configure is a noisy boy; not every ‘warning’ warrants action. A GNU info manual is definitely nice to have though!

+       ("makeinfo" ,texinfo)
        ("pkg-config" ,pkg-config)
-       ("ragel" ,ragel)))
+       ("ragel" ,ragel)
+       ("sphinx-build" ,python-sphinx)))

It's a subjective line but I'd prefer the labels match the package here. Nitpick, can be fixed up in post.

Otherwise LGTM,

T G-R

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]