#!/bin/sh if [ "$1" = "configure" -a -x /usr/bin/update-menus ] ; then update-menus ; fi