#!/bin/sh

# If gnome is installed (or other DE that uses freedesktop's
# desktop-file-utils), updated the desktop database.

if [ -x /usr/bin/update-desktop-database ]
then
	echo "Updating desktop database..."
	/usr/bin/update-desktop-database > /dev/null 2>&1
fi