#!/bin/sh 

set -e

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