if  !  grep  -q  OPTS  $SPELL_CONFIG; then
  if  query  "Use A4 as default paper size instead of Letter for Postscript output?" n
  then  OPTS="--enable-a4-paper"
  else  OPTS=""
  fi
  echo  "OPTS=$OPTS"  >>  $SPELL_CONFIG
fi
