#!/bin/sh
set -e

PACKAGE=wmanager
INST="/etc/menu-methods/$PACKAGE"

if [ -f "$INST" ]; then
    chmod a+x "$INST"
    if [ -x /usr/bin/update-menus ]; then
	update-menus
    fi
fi

#DEBHELPER#
