if [ "$1" = "configure" ]; then
	install-info --quiet --section "#SECTION#" "#SECTION#" #FILE#
fi