#! /bin/sh
#
# postrm script for the Debian GNU/Linux doc-linux package
#
# Written by Dirk Eddelbuettel <edd@debian.org> 

set -e 

if test -x /usr/bin/update-menus
then
    update-menus
fi
