#!/bin/sh
# post remove script for the Debian GNU/Linux doc-debian-fr package

set -e

if [ -x /usr/bin/update-menus ]; then 
    update-menus
fi
