Refresh manpage-debian.patch.