diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-08 18:07:16 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-08 18:38:15 +0100 |
| commit | 08fdee39110a51cd76afac7a9adf10c794a4c272 (patch) | |
| tree | 0084cd95feb41e76963b7f6203fa62907b35c560 | |
| parent | c108c46fb40ae85be609133f6706cfb79266ded3 (diff) | |
| download | gnu-guix-08fdee39110a51cd76afac7a9adf10c794a4c272.tar gnu-guix-08fdee39110a51cd76afac7a9adf10c794a4c272.tar.gz | |
self: Compress Info files.
Fixes <https://bugs.gnu.org/33993>.
Reported by Adonay Felipe Nogueira <adfeno@hyperbola.info>.
* guix/self.scm (info-manual): Compress Info files.
| -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)) |