#!/bin/sh
set -e
# Automatically added by dh_installmenu/13.14.1ubuntu5
if [ -x "`command -v update-menus`" ] && [ -x "$DPKG_ROOT`command -v update-menus`" ]; then update-menus ; fi
# End automatically added section
