diff options
-rw-r--r-- | guix/self.scm | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/guix/self.scm b/guix/self.scm index 1e9d5b70e5..e9a768bc90 100644 --- a/guix/self.scm +++ b/guix/self.scm @@ -384,7 +384,14 @@ DOMAIN, a gettext domain." (basename texi ".texi") ".info"))) (cons "guix.texi" - (find-files "." "^guix\\.[a-z]{2}\\.texi$")))))) + (find-files "." "^guix\\.[a-z]{2}\\.texi$"))) + + ;; Compress Info files. + (setenv "PATH" + #+(file-append (specification->package "gzip") "/bin")) + (for-each (lambda (file) + (invoke "gzip" "-9n" file)) + (find-files #$output "\\.info(-[0-9]+)?$"))))) (computed-file "guix-manual" build)) |