If you want to export to pdf use the cups-pdf package. After install it, you have to configure cups at http://localhost:631
. Print normally with this virtual printer, and the draw with the name of __stdin__.pdf, it's placed in your home directory “PDF”. Then use your pdf reader to open it and print from it.
I use kubuntu 7.04.