diff -r 802576856527 -r 09e52d4a850a etc/settings
--- a/etc/settings	Sun Jul 07 18:34:29 2013 +0200
+++ b/etc/settings	Sun Jul 07 18:43:14 2013 +0200
@@ -116,10 +116,6 @@
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 
-# Printer spool command for PS files
-PRINT_COMMAND=lp
-
-
 ###
 ### Rendering information
 ###