etc/settings

--- a/etc/settings	Thu Sep 30 05:08:17 2004 +0200
+++ b/etc/settings	Thu Sep 30 07:14:34 2004 +0200
@@ -152,6 +152,10 @@
 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
+#The pdf file viewer
+PDF_VIEWER=acroread
+#PDF_VIEWER=xpdf
+
 #Printer spool command for PS files
 PRINT_COMMAND=lp