diff options
author | regnat <rg@regnat.ovh> | 2021-07-16 14:15:38 +0200 |
---|---|---|
committer | regnat <rg@regnat.ovh> | 2021-07-19 16:55:56 +0200 |
commit | c5f5d615a66c2b9411857914893eb854796a482f (patch) | |
tree | 23bd27d34f8edf98b727b55389816bb876479198 /Makefile | |
parent | db4d4cf4ba42727edd8cc5a6c516554fb8a6b688 (diff) |
Cleanup the generation of the nix3 manpages
Use a dedicated make target for the man page rather than bundling the
generation as part of `install`.
Also make sure that `make install` is a fixpoint by
- Removing the generated markdown files from `MANUAL_SRCS`
- Not having the manpage generation write in its source directory so as
to not update its timestamp (it would run each time otherwise)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions