#!/bin/sh

port=gnome-menus

# desktop database
update-desktop-database > /dev/null

# End of file