96 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
96 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
97 |
97 |
98 # Preferred document format |
98 # Preferred document format |
99 ISABELLE_DOC_FORMAT=pdf |
99 ISABELLE_DOC_FORMAT=pdf |
100 |
100 |
101 # The dvi file viewer |
101 # PDF file viewer (command-line to eval) |
|
102 case "$ISABELLE_PLATFORM_FAMILY" in |
|
103 linux) |
|
104 PDF_VIEWER="xdg-open" |
|
105 ;; |
|
106 macos) |
|
107 PDF_VIEWER="open -W -n" |
|
108 ;; |
|
109 windows) |
|
110 PDF_VIEWER="cygstart" |
|
111 ;; |
|
112 esac |
|
113 |
|
114 # DVI file viewer (command-line to eval) |
102 DVI_VIEWER=xdvi |
115 DVI_VIEWER=xdvi |
103 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
116 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
104 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
117 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
105 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
118 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
106 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
119 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
107 |
|
108 # The pdf file viewer |
|
109 case "$ISABELLE_PLATFORM" in |
|
110 *-linux) |
|
111 PDF_VIEWER="xdg-open" |
|
112 ;; |
|
113 *-darwin) |
|
114 PDF_VIEWER="open -W -n" |
|
115 ;; |
|
116 *-cygwin) |
|
117 PDF_VIEWER="cygstart" |
|
118 ;; |
|
119 esac |
|
120 |
120 |
121 |
121 |
122 # Printer spool command for PS files |
122 # Printer spool command for PS files |
123 PRINT_COMMAND=lp |
123 PRINT_COMMAND=lp |
124 |
124 |