#! /bin/sh -e

case "$1" in
    configure)
	if [ -f /usr/share/info/treelang-@BV@.info.gz ]; then
	    install-info --quiet --section "Development" "Development" \
		--description="The GNU Treelang compiler." \
		/usr/share/info/treelang-@BV@.info
	else
	    # GFDL invariant free
	    true
	fi
esac

#DEBHELPER#
