| changeset 35088 | 6591285a6a59 |
| parent 34238 | b28be884edda |
| 35086:92a8c9ea5aa7 | 35088:6591285a6a59 |
|---|---|
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
24 |
24 |
25 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true" |
25 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true" |
26 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2" |
26 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2" |
27 |
27 |
28 unset KODKODI |
|
29 |