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 /pkgs/profpatsch/nman/nman.rs | |
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 'pkgs/profpatsch/nman/nman.rs')
-rw-r--r-- | pkgs/profpatsch/nman/nman.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/profpatsch/nman/nman.rs b/pkgs/profpatsch/nman/nman.rs index 048469d7..28a7deec 100644 --- a/pkgs/profpatsch/nman/nman.rs +++ b/pkgs/profpatsch/nman/nman.rs @@ -86,9 +86,9 @@ impl NmanError { enum DrvOutput<'a> { Man, DevMan, + Out, Doc, DevDoc, - Out, Info, Dev, Bin, |