#!/bin/bash

set -e

###############################################################################
#
# Add the 'gnats' info files into the master directory
#

if [ "$1" = configure ]; then
  install-info --description='GNU GNATS.  Problem Report Management System' \
	       --section Devel Development --quiet /usr/info/gnats.info

  install-info --description='GNU GNATS.  How to send problem reports' \
	       --section Devel Development --quiet /usr/info/send-pr.info
fi
