if  spell_ok  tetex;  then
  config_query  GETTEXT_TETEX  "Build .ps, .pdf and .dvi documentation?"  y
else
  config_query  GETTEXT_TETEX  "Build .ps, .pdf and .dvi documentation?"  n
fi
