obsolete manhtml files not deleted

[Thomas Klausner <wiz%gatalith.at@localhost>]

Hi!

I just upgraded from a couple months ago and found:

Only in /usr/share/man/html8: dnssec-dsfromkey.html
Only in /usr/share/man/html8: dnssec-importkey.html
Only in /usr/share/man/html8: dnssec-keyfromlabel.html
Only in /usr/share/man/html8: dnssec-keygen.html
Only in /usr/share/man/html8: dnssec-revoke.html
Only in /usr/share/man/html8: dnssec-settime.html
Only in /usr/share/man/html8: dnssec-signzone.html
Only in /usr/share/man/html8: dnssec-verify.html
Only in /usr/share/man/html8: named-checkconf.html
Only in /usr/share/man/html8: named-checkzone.html
Only in /usr/share/man/html8: named-compilezone.html
Only in /usr/share/man/html8: named-journalprint.html
Only in /usr/share/man/html8: nsec3hash.html

some files that were in my old install and not the new one, and which
should have been deleted.

The man8 versions of the file are indeed gone.

I see that these are listed in the manhtml set - does the "postinstall
fix" step for cleaning up obsolete files need changes for supporting
manhtml?
 Thomas