On 2010-04-20 21:47:07 +0200, Eugen Dedu wrote:
> Adding
> set output 'out.pdf'
> in the file 'data' makes this example work.

I think that for compatibility with other ports, the default output
should be '/dev/stdout'.

-- 
Vincent Lefèvre <vinc...@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to