diff options
author | regnat <rg@regnat.ovh> | 2021-07-27 13:46:07 +0200 |
---|---|---|
committer | regnat <rg@regnat.ovh> | 2021-07-27 13:47:53 +0200 |
commit | cd6e9eb024d20594450fded6b4c4467944fb5e9c (patch) | |
tree | d3866779225b99d46d06644409733ecb7d564e77 /misc | |
parent | f52fa47e16142d992127677739cc458fc26a0455 (diff) |
Fix the generation of nix3 manpages
- Separate the generation of the manpages from their installation
- Make sure that `make` generates the manpages
- Make sure that `make install` installs them
Fix #5051
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions