diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-02-12 18:49:15 +0100 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2021-02-25 19:52:33 +0100 |
commit | a1df1240d5eeeb39c96163d1daec66ef4bf2f492 (patch) | |
tree | 2ec6103c379f9c7356fac9ded022e66825fde526 /.gitignore | |
parent | fda10cb43ce79a332ccd61f9ee59a60c544c56fc (diff) |
pkgs/profpatsch/nman: prefer out over doc
man pages are usually pretty small and therefore often also included in out whereas doc seems to seldomly contain any man pages. TODO: confirm this and get a better overview over man pages in doc outputs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions