mailing-list for TeXmacs Users

[Anthony Cameron <address@hidden>]

Hi

For me the PDF export exports as PS with the .PDF extension. So, I just export my document as a PS then run ps2pdf through the console. Alternatively I wrote a small bash script that will search for all PS files in a folder, run ps2pdf on them and delete the original.

Anthony

2011/10/13 Javier Arántegui <address@hidden>

Hi,

As a workaround, you can do File -> Print -> Preview. You will get your document in the Preview.app and there you can save it as pdf.

Javier


El 12/10/2011, a las 09:54, El.Douwen escribió:

> Sacha, teXmacs 1.0, mac os X.6.7
>
> hi everyone
>
> when i do "file/export/pdf" no pdf file appears
> when i do "file/export/ps" the ps file appears quickly
>
> is there a known bug about pdf export ?
>
> Sacha

--
Javier Arántegui
Dept. Tecnologia de Alimentos / Dept. of Food Technology
Universitat de Lleida / University of Lleida (Spain)

Tel. +34 973702595
Fax  +34 973702596
http://www.tecal.udl.es