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 | |
| 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')
| -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, |