798d8b1d7c
These patches deal with how the man page to show is selected amongst multiple available ones. This not only addresses the issues pointed out in #9868, but also fixes the issue where localized manpages (in /usr/share/man/$some_locale_value) are prioritized over the default man pages. Fixes #9868 until a new upstream release. Closes #13125. Also: change template to make xlint happy Closes: #23108 [via git-merge-pr] |
||
|---|---|---|
| .. | ||
| files | ||
| patches | ||
| INSTALL | ||
| template | ||
| update | ||