Drucken mit ISE unter Linux

Hallo Ihrs,

ich möchte gerne mit dem ISE Webpack 8.2 unter Linux drucken, aber ich 
bekomme die Meldung, mein Default Printer sei nicht eingerichtet. Ich 
bin der Beschreibung auf der xilinx Seite gefolgt und konnte trotzdem 
nicht drucken.

Kann mir jemand weiterhelfen.

Daniel