Hello Helge,
The presence of these *.2 and *.3 manpages in the manpages package
instead of manpages-dev is to avoid sending broken links in the
manpages-dev package.

The source package even provides a script [1] to check for this problem
and make corrections.

There is also an example in the manpages-dev package: console_ioctl.4
is moved to the manpages-dev package because it points to
ioctl_console.2.

Unless a better solution is proposed, I think it's best to close this
bug in a few days.

Greetings,
Marcos

[1]https://sources.debian.org/src/manpages/6.02-1/debian/move_links_to_correct_package/

Reply via email to