#! /bin/sh
# postinst script for debian-reference-*
#
# see: dh_installdeb(1)

set -e

case "$1" in
    configure|abort-upgrade|abort-remove|abort-deconfigure)
	# always try keeping the best index
	if [ -x /usr/share/debian-reference/mkindexhtml ] ; then
	  /usr/share/debian-reference/mkindexhtml
	fi

    ;;

    *)
	: # do nothing
    ;;
esac

# dh_installdeb will replace this with shell code automatically
# generated by other debhelper scripts.

#DEBHELPER#

exit 0

