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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 5f402dbc3..ef0298417 100644 --- a/.gitignore +++ b/.gitignore @@ -12,7 +12,7 @@ perl/Makefile.config /libtool # /doc/manual/ -/doc/manual/*.1 +/doc/manual/**/*.1 /doc/manual/*.5 /doc/manual/*.8 /doc/manual/nix.json |