--- a/etc/user-settings.sample Wed Oct 13 19:42:46 1999 +0200
+++ b/etc/user-settings.sample Wed Oct 13 19:43:26 1999 +0200
@@ -9,7 +9,7 @@
### Compilation options
###
-#ISABELLE_USEDIR_OPTIONS="-i true"
+#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
###