diff options
-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 d3f60f7a..55293f1f 100644 --- a/pkgs/profpatsch/nman/nman.rs +++ b/pkgs/profpatsch/nman/nman.rs @@ -212,7 +212,7 @@ fn build_man_page<'a>(drv: DrvWithOutput, section: Option<&str>, page: &str, tem for dir in section_dirs { // separate "man" prefix from section indicator, // while validating the particular sub directory - match dir.to_str().map(|d| d.split_at(3)) { + match dir.to_str().filter(|d| d.len() > 3).map(|d| d.split_at(3)) { Some((_, "")) => continue, Some(("man", s)) => { // we have a valid man dir, check if it contains our page |