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 /gnu | |
| parent | c108c46fb40ae85be609133f6706cfb79266ded3 (diff) | |
| download | guix-08fdee39110a51cd76afac7a9adf10c794a4c272.tar.gz guix-08fdee39110a51cd76afac7a9adf10c794a4c272.zip | |
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.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions