| changeset 47726 | d5e7f7039e03 |
| parent 47661 | 012a887997f3 |
| child 47758 | 8c37cb84065f |
| 47725:447b635bcea5 | 47726:d5e7f7039e03 |
|---|---|
142 case "$ISABELLE_PLATFORM" in |
142 case "$ISABELLE_PLATFORM" in |
143 *-darwin) |
143 *-darwin) |
144 PDF_VIEWER="open -W -n" |
144 PDF_VIEWER="open -W -n" |
145 ;; |
145 ;; |
146 *) |
146 *) |
147 PDF_VIEWER=xpdf |
147 PDF_VIEWER=evince |
148 ;; |
148 ;; |
149 esac |
149 esac |
150 #PDF_VIEWER=acroread |
|
151 #PDF_VIEWER=evince |
|
152 |
150 |
153 |
151 |
154 # Printer spool command for PS files |
152 # Printer spool command for PS files |
155 PRINT_COMMAND=lp |
153 PRINT_COMMAND=lp |
156 |
154 |