--- 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