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