Installing a pdf-printer on Windows is crap, but in Linux/Ubuntu/Debian it is quite easy. $ sudo apt-get install cups-pdf Then restart your cups daemon $ sudo service cups restart And you are ready to print to pdf files.