#!/bin/sh
set -e

if [ -e /etc/psdevtab ] ; then 
	rm -f /etc/psdevtab
fi
if [ -x /usr/bin/update-menus ] ; then
        update-menus 
fi
