Debian has an elaborate system for menus that, sort of, tries to get them on a sensible and standardised basis. Can't remember but, at a quess, if the thing is installed then doing 'update-menus' or something like that would probably do it.
Hope helps.
|