Fix a bug where the wrong digit was used for prioritizing filenames
authorschwarze <schwarze@openbsd.org>
Mon, 4 Sep 2023 13:08:11 +0000 (13:08 +0000)
committerschwarze <schwarze@openbsd.org>
Mon, 4 Sep 2023 13:08:11 +0000 (13:08 +0000)
commitc02a7420f1ec019a74b86d63369c4755aa293a2d
tree5e91cc678d25e811becd21f24b750c19d6698f0e
parente82429e8dab509b245d78f93935638d1a22e390b
Fix a bug where the wrong digit was used for prioritizing filenames
in the standard man(1) mode that formats a single resulting page
if the respective manpath contained digits, like X11R6 does.
Fortunately, this bug did not trigger for any Xenocara manual page.
usr.bin/mandoc/main.c