diff options
| author | regnat <rg@regnat.ovh> | 2021-07-27 13:48:19 +0200 |
|---|---|---|
| committer | regnat <rg@regnat.ovh> | 2021-07-27 14:37:55 +0200 |
| commit | 441be5d59aa1d3c223979e257ed9bae5d7e3b093 (patch) | |
| tree | 3716ff297dd6bbe5b99ae8714a3f576ee1322589 /.gitignore | |
| parent | cd6e9eb024d20594450fded6b4c4467944fb5e9c (diff) | |
Remove dead code in doc’s local.mk
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index ef0298417..1affd733d 100644 --- a/.gitignore +++ b/.gitignore @@ -12,9 +12,10 @@ perl/Makefile.config /libtool # /doc/manual/ -/doc/manual/**/*.1 +/doc/manual/*.1 /doc/manual/*.5 /doc/manual/*.8 +/doc/manual/generated/* /doc/manual/nix.json /doc/manual/conf-file.json /doc/manual/builtins.json |