1.1 --- a/etc/user-settings.sample Wed Oct 13 19:42:46 1999 +0200
1.2 +++ b/etc/user-settings.sample Wed Oct 13 19:43:26 1999 +0200
1.3 @@ -9,7 +9,7 @@
1.4 ### Compilation options
1.5 ###
1.6
1.7 -#ISABELLE_USEDIR_OPTIONS="-i true"
1.8 +#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
1.9
1.10
1.11 ###