#!/bin/bash

set -e

###############################################################################
#
# Remove the 'gnats' info files from the master directory
#

if [ "$1" = remove ]; then
  install-info --remove --quiet /usr/info/send-pr.info
  install-info --remove --quiet /usr/info/gnats.info
fi

