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