diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-06 03:18:02 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-06 06:12:20 +0200 |
| commit | 55f5556e243e85865e69c50bc040123345c4295b (patch) | |
| tree | 2bf75eeed09bd0e01c6ffa037585eea4ff0beb92 /po/packages | |
| parent | bba082a1f8c13cecd006d06048ee122d5ab6da6b (diff) | |
| download | guix-55f5556e243e85865e69c50bc040123345c4295b.tar guix-55f5556e243e85865e69c50bc040123345c4295b.tar.gz | |
gnu: inxi: Fix man page location.
* gnu/packages/admin.scm (inxi)[arguments]: Install man page to
/share/man instead of /share/doc/man.
Diffstat (limited to 'po/packages')
0 files changed, 0 insertions, 0 deletions