equal
deleted
inserted
replaced
98 ### |
98 ### |
99 |
99 |
100 # Where to look for docs (multiple dirs separated by ':'). |
100 # Where to look for docs (multiple dirs separated by ':'). |
101 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
101 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
102 |
102 |
103 # PDF file viewer |
103 # "open" within desktop environment (potentially asynchronous) |
104 case "$ISABELLE_PLATFORM_FAMILY" in |
104 case "$ISABELLE_PLATFORM_FAMILY" in |
105 linux) |
105 linux) |
106 PDF_VIEWER="xdg-open" |
106 ISABELLE_OPEN="xdg-open" |
107 ;; |
107 ;; |
108 macos) |
108 macos) |
109 PDF_VIEWER="open" |
109 ISABELLE_OPEN="open" |
110 ;; |
110 ;; |
111 windows) |
111 windows) |
112 PDF_VIEWER="cygstart" |
112 ISABELLE_OPEN="cygstart" |
113 ;; |
113 ;; |
114 esac |
114 esac |
115 |
115 |
116 # DVI file viewer |
116 PDF_VIEWER="$ISABELLE_OPEN" |
117 DVI_VIEWER="xdvi" |
117 DVI_VIEWER="$ISABELLE_OPEN" |
118 |
118 |
119 |
119 |
120 ### |
120 ### |
121 ### Rendering information |
121 ### Rendering information |
122 ### |
122 ### |