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 | |
| parent | bba082a1f8c13cecd006d06048ee122d5ab6da6b (diff) | |
gnu: inxi: Fix man page location.
* gnu/packages/admin.scm (inxi)[arguments]: Install man page to
/share/man instead of /share/doc/man.
| -rw-r--r-- | gnu/packages/admin.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm index def1fa1ed2..70dbaeb17d 100644 --- a/gnu/packages/admin.scm +++ b/gnu/packages/admin.scm @@ -2716,7 +2716,7 @@ Python loading in HPC environments.") %build-inputs))))) (invoke "gzip" "inxi.1") (install-file "inxi.1.gz" - (string-append %output "/share/doc/man/man1"))) + (string-append %output "/share/man/man1"))) #t))) (home-page "https://smxi.org/docs/inxi.htm") (synopsis "Full featured system information script") |