etc/settings

--- a/etc/settings	Wed Apr 13 09:48:41 2005 +0200
+++ b/etc/settings	Wed Apr 13 18:34:22 2005 +0200
@@ -145,6 +145,9 @@
 #Where to look for docs (multiple dirs separated by ':').
 ISABELLE_DOCS="$ISABELLE_HOME/doc"
 
+#Preferred document format
+ISABELLE_DOC_FORMAT=pdf
+
 #The dvi file viewer
 DVI_VIEWER=xdvi
 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"