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