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