Gerar PDF e não DVI.

[JoaoDamasceno.ufc]

Pessoal, alguém sabe como faço para que o Kile ao invés de gerar um documento DVI (por padrão), como faço para que seja gerado um documento em PDF?

Obs. Tudo bem que posso simplesmente clicar no botão "DVItoPDF" do próprio Kile, entretanto tal comando tem apresentado muitas falhas a ponto de eu clicar e nada acontecer, por isso que quero logo compilar e gerar o texto em PDF e invés de gerar um DVI e depois eu ter que criar um PDF.