#!/bin/sh
#DEBHELPER#

set -e

if [ "$1" = configure ] && [ -x /usr/bin/update-menus ]; then
	update-menus
fi

exit 0
