This is a very minor issue but it got me worried since I was first
suspecting that there was someting wrong with my package. I can attach
the real packages to the bug report if that is ok and you can not
reproduce the bug by just looking at the explanation below.

Steps to reproduce:
1) install a package with manual page foo in section 1
2) man foo
3) install a new version of the same package that now has manual page foo in section 2
4) man foo

Expected results:
4) man shows the manual page of foo

Actual results:
4) man prints the following warning message and then shows the manual page of foo:

man: can't resolve /usr/share/man/man1/foo.1.gz: No such file or directory

More info:
1) Apparently /var/lib/dpkg/info/man-db.postinst calls mandb -pq when
it is triggered on the package upgrade. This -p causes it to not check
for deleted manual pages.

severity 539221 wishlist
retitle 539221 man-db: trigger doesn't notice file deletions (hard to fix while retaining decent performance)
thanks

Yes, this is true. The reason for this is that I'm pretty sure the
performance would be unacceptable for lots of people if I made it do a
full run here; it's a compromise. The cron job should eventually catch
up and update things.

I do consider this a bug, and I'd like to figure out how to fix this one
day, but it's likely to require quite a bit of work on mandb to make it
work well.

Thanks,