mozers Спасибо!
Всё оказалось намного проще, чем я думал
Просто надо не лениться и заглянуть в документацию.
Добавлено: Помогите ещё со следующим.
По умолчанию запуск F5 выполняет следующую команду
command.go.$(file.patterns.latex)=gv $(FileName).pdf
Но в окне вывода у меня
>gv file.pdf
>The system cannot find the file specified.
gv у меня нет.
Как настроить, чтобы pdf-файлы запускались той программой, что по умолчанию установлена в системе (что-то надо сделать с command.subsystem и shellexec, но я пока не разобрался). Решил временно пока так: command.go.$(file.patterns.latex)=D:\Program Files\Adobe\Reader 9.0\Reader\AcroRd32.exe $(FileName).pdf , но это филькина грамота

.