#! /bin/sh
#
# postinst 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

