mailing-list for TeXmacs Users

["Adrian S." <address@hidden>]

You can use a more recent version of TeXmacs (1.0.7.9 works fine), as
Joris said,  or you can do:

1)Export to ps   (or to pdf, since the file that it will produce is
really a .ps file)
2)Run the command in a terminal
ps2pdf name-of-file.ps

On Sun, Dec 26, 2010 at 3:50 PM, Lukasz Stafiniak <address@hidden> wrote:
> 2010/12/26 "Papa , ou était tu le jour où ils ont supprimé la liberté
> d'expression sur Internet ? " <address@hidden>:
>> I m using Ubuntu 10.10 , with Texmacs 1:1.0.7.4-2
>>
>> Anyone know how to fix this pdf export bug ? ? It s really a big
>> problem , i can't ask everyone to install texmacs and export in pdf ,
>> especially when I m sending my document to a professionnal printing
>> company service ...
>
> I confirm that there is problem in Ubuntu 10.10, the supposedly pdf
> file exported is actually a ps file (but sorry I haven't got the
> motivation yet to investigate where in the toolchain something goes
> wrong).
>