changeset 15218 | 39747a9e3c37 |
parent 14981 | e73f8140af78 |
child 15227 | 804ecdc08cf2 |
--- 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