Package: manpages.debian.org
Severity: minor
Dear Maintainer,
When manpages with the same name exist in different packages would it be
possible to come up with some algorithm to get better defaults?
For interfaces(5) the first choice is ifupdown (maybe because it's
higher priority than ifupdown2?), but for grub-install(8) the first
choice is grub-legacy instead of grub2-common (they have the same
priority).
Maybe Replaces: grub-legacy in grub2-common could be a hint?
If there is a list somewhere with all duplicated manpages I can try to
look for (other) patterns.
Kind regards,
Andrei