mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sun, Dec 26, 2010 at 11:50:02PM +0100, Lukasz Stafiniak 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).

I just tried with our development version and things work fine for me.
Please check that ps2pdf is in your path (it should be, together with 
ghostscript).

Best, --Joris