function  ask_enable()  {

  if  !  grep  -q  "CFG_$2="  $SPELL_CONFIG;  then

    if    query  "Enable $1 ?" $3
    then  cfg="--enable-$2"
    else  cfg="--disable-$2"
    fi
    echo  "CFG_$2=\"$cfg\""  >> $SPELL_CONFIG

  fi
}

ask_enable  "debug mode"             "debug"  "n"
ask_enable  "VOC decoding"           "voc"    "y"
ask_enable  "WAV decoding"           "wav"    "y"
ask_enable  "RAW \"decoding\""       "raw"    "y"
ask_enable  "AIFF decoding"          "aiff"   "y"
ask_enable  "SHN decoding"           "shn"    "y"
ask_enable  "MIDI music via a pipe"  "midi"   "n"
