diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-14 19:24:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-14 19:57:42 +0100 |
| commit | 4fef1e850e4872f2bc7c1f0a10cbac176b50895f (patch) | |
| tree | 19e9590a7666e6a77fca7eb661848435a94117b7 | |
| parent | 0c4e762570dfb46d554b30ef14b27cd808ffcff6 (diff) | |
profiles: Silence Info installation.
* guix/profiles.scm (info-dir-file)[build]: Pass --silent to
'install-info'.
| -rw-r--r-- | guix/profiles.scm | 2 |
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")) |