* Really skip calls to update-mime-database if they come from dpkg,

  but only skip them if the database is /usr/share/mime.
* debian/shared-mime-info.doc-base: Section is Help/Standards.
* Update the MIME database when shared-mime-info is configured.