diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-06-25 18:55:20 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-06-25 18:55:55 +0200 |
| commit | afba93efd43ef58d1c9920f119250c58c5505b87 (patch) | |
| tree | c0a44fee584fd1b964ed3d3f80730fde0588893c /gnu/system | |
| parent | d613991a8ebe5d4b3a7706f8f0dd52f16fc1c50a (diff) | |
gnu: diffoscope: Install the man page.
* gnu/packages/diffoscope.scm (diffoscope)[arguments]:
Add ‘build-man-page’ and ‘install-man-page’ phases.
[native-inputs]: Add help2man.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions