#! /bin/sh

set -e

if [ -x /usr/bin/update-menus ] ; then update-menus; fi
