if  !  grep  -q  "PS="  $SPELL_CONFIG;  then

   if    query  "Postscript version?" y
   then  echo   "PS=y" >> $SPELL_CONFIG
   else  echo   "PS=n" >> $SPELL_CONFIG
   fi

fi

if  !  grep  -q  "ASCII="  $SPELL_CONFIG;  then

   if    query  "ASCII text version?" y
   then  echo   "ASCII=y" >> $SPELL_CONFIG
   else  echo   "ASCII=n" >> $SPELL_CONFIG
   fi
fi

if  !  grep  -q  "LATIN="  $SPELL_CONFIG;  then

   if    query  "Latin-1 text version?" y
   then  echo   "LATIN=y" >> $SPELL_CONFIG
   else  echo   "LATIN=n" >> $SPELL_CONFIG
   fi
fi

if  !  grep  -q  "DVI="  $SPELL_CONFIG;  then

   if    query  "DVI version?" y
   then  echo   "DVI=y" >> $SPELL_CONFIG
   else  echo   "DVI=n" >> $SPELL_CONFIG
   fi
fi
