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