Hi Marco,
I think the root cause of this bug is the old bug in dpkg, whereby if a file
has been diverted on the filesystem, dpkg will not clean it up when the
owning package stops shipping it.
This bug has since been fixed in dpkg, but modutils must have stopped
shipping /usr/share/man/fr/man5/modules.5.gz some time ago (in favor of
/usr/share/man/fr/man5/modules.5).
Since the reason for removing the diversion is that module-init-tools now
conflicts with modutils, I think module-init-tools must also take
responsibility for removing the orphaned files. A simple rm -f
/usr/share/man/${locale}man$DSECTION/$1.modutils.$DSECTION.gz before the
dpkg-divert call should be sufficient.
Frédéric's explanation for the origin of these files is also plausible, and
has the same solution.
Cheers,
--
Steve Langasek Give me a lever long enough and a Free OS
Debian Developer to set it on, and I can move the world.
[EMAIL PROTECTED] http://www.debian.org/
