#!/bin/sh
set -e

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