#!/bin/bash

set +e

rm -f /usr/lib/menu/.updated-menus
rm -f /etc/menu/.updated-menus

if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/menu ]; then
    rm -f /usr/doc/menu
fi