#!/bin/bash

set -e

###############################################################################
#
# Remove the 'gnats' entry from menus
#

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