From 4fef1e850e4872f2bc7c1f0a10cbac176b50895f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 14 Dec 2015 19:24:22 +0100
Subject: [PATCH] profiles: Silence Info installation.
* guix/profiles.scm (info-dir-file)[build]: Pass --silent to
'install-info'.
---
guix/profiles.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/guix/profiles.scm b/guix/profiles.scm
index c222f4115d6..ce6b2c4f421 100644
--- a/guix/profiles.scm
+++ b/guix/profiles.scm
@@ -469,7 +469,7 @@ (define (info-files top)
(define (install-info info)
(setenv "PATH" (string-append #+gzip "/bin")) ;for info.gz files
(zero?
- (system* (string-append #+texinfo "/bin/install-info")
+ (system* (string-append #+texinfo "/bin/install-info") "--silent"
info (string-append #$output "/share/info/dir"))))
(mkdir-p (string-append #$output "/share/info"))
--
GitLab