if  !  grep  -q  "A4_PAPER"  $SPELL_CONFIG;  then

    if    query  "Do you use A4 paper for normal printing?" n
        then  echo   "A4_PAPER=y"  >>  $SPELL_CONFIG
        else  echo   "A4_PAPER=n"  >>  $SPELL_CONFIG
    fi
fi

