4 if [ "$$1" = "configure" ] ; then
5 # update desktop database
6 if [ -x /usr/bin/update-desktop-database ]; then
7 update-desktop-database -q /usr/share/applications
9 # update debian style menus
10 if [ -x /usr/bin/update-menus ]; then
18 if [ "$$1" != "purge" ]
20 if [ -x /usr/bin/update-desktop-database ]
22 update-desktop-database -q /usr/share/applications
24 if [ -x /usr/bin/update-menus ]