if ! grep -q "PS=" $SPELL_CONFIG; then
    if   query "Postscript version?" n
    then echo  "PS=y" >> $SPELL_CONFIG
    else echo  "PS=n" >> $SPELL_CONFIG
    fi
fi
if ! grep -q "PDF=" $SPELL_CONFIG; then
    if   query "PDF version?" n
    then echo  "PDF=y" >> $SPELL_CONFIG
    else echo  "PDF=n" >> $SPELL_CONFIG
    fi
fi
if ! grep -q "HTML_MULTI=" $SPELL_CONFIG; then
    if   query "HTML version (multiple pages)?" n
    then echo  "HTML_MULTI=y" >> $SPELL_CONFIG
    else echo  "HTML_MULTI=n" >> $SPELL_CONFIG
    fi
fi
if ! grep -q "HTML_SINGLE=" $SPELL_CONFIG; then
    if   query "HTML version (single pages)?" n
    then echo  "HTML_SINGLE=y" >> $SPELL_CONFIG
    else echo  "HTML_SINGLE=n" >> $SPELL_CONFIG
    fi
fi
