#!/bin/sh
#
# This is the postinst script for the Debian GNU/Linux time package
#
# Written by Dirk Eddelbuettel <edd@debian.org>   

set -e 

case "$1" in
    configure)
	#
	# update menus
	if test -x /usr/bin/update-menus
	then 
	    update-menus
	fi
	#
	install-info --quiet \
	    --section "General commands" "General commands:" \
	    --description="A utility to time the execution of a command" \
	    /usr/info/time.info
	;;
    abort-upgrade|abort-remove|abort-deconfigure)
	exit 0
	;;
    *)
	echo "postinst called with unknown argument \`$1'" >&2
	exit 0
	;;
esac