equal
deleted
inserted
replaced
90 ### |
90 ### |
91 |
91 |
92 # Where to look for docs (multiple dirs separated by ':'). |
92 # Where to look for docs (multiple dirs separated by ':'). |
93 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
93 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
94 |
94 |
95 # Preferred document format |
|
96 ISABELLE_DOC_FORMAT=pdf |
|
97 |
|
98 # PDF file viewer (command-line to eval) |
95 # PDF file viewer (command-line to eval) |
99 case "$ISABELLE_PLATFORM_FAMILY" in |
96 case "$ISABELLE_PLATFORM_FAMILY" in |
100 linux) |
97 linux) |
101 PDF_VIEWER="xdg-open" |
98 PDF_VIEWER="xdg-open" |
102 ;; |
99 ;; |