Estas operaciones se esconden bajo las opciones del menú → y → . La ejecución de alguna de estas acciones mostrará en pantalla un diálogo de selección de archivos de la forma:
La forma de operar es bastante sencilla, basta con seleccionar
algún elemento del directorio y pulsar el botón
“Aceptar”. Los nombres de los ficheros
PDF generados conservarán el nombre de los ficheros
TEX de origen, pero con la extensión cambiada a
.pdf.