[Linux-bruxelles] Menu gnome

[Eric Hanuise]

> update-menus marche !
> 
> Merci :-)
> 
> PS je croyais qu'il le faisait automatiquement vu que certains 
> programmes s'y mettent spontanément...
> 

je pense que ca dépend de la manière dont les postinstall scripts dans 
le .deb sont faits, mais comme je n'y connais presque rien, je laisse a 
fred ou d'autres 'qui savent' le soin de confirmer.
Si c'est bien le cas, tu peux considérer cela comme un bug du package et 
le renseigner au maintainer.