summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-12-14 19:24:22 +0100
committerLudovic Courtès <ludo@gnu.org>2015-12-14 19:57:42 +0100
commit4fef1e850e4872f2bc7c1f0a10cbac176b50895f (patch)
tree19e9590a7666e6a77fca7eb661848435a94117b7
parent0c4e762570dfb46d554b30ef14b27cd808ffcff6 (diff)
profiles: Silence Info installation.
* guix/profiles.scm (info-dir-file)[build]: Pass --silent to 'install-info'.
-rw-r--r--guix/profiles.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/profiles.scm b/guix/profiles.scm
index c222f4115d..ce6b2c4f42 100644
--- a/guix/profiles.scm
+++ b/guix/profiles.scm
@@ -469,7 +469,7 @@ MANIFEST."
(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"))