diff -r df56e644da8f -r 3fd8c03e3ee6 etc/settings
--- a/etc/settings	Sun Jun 13 15:28:30 2004 +0200
+++ b/etc/settings	Sun Jun 13 15:28:46 2004 +0200
@@ -153,6 +153,9 @@
 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
+#Printer spool command for PS files
+PRINT_COMMAND=lp
+
 
 ###
 ### Interfaces