diff -r e7296939fec2 -r a7d69a11f395 etc/settings
--- a/etc/settings	Sat Jul 27 21:21:47 2013 +0200
+++ b/etc/settings	Sat Jul 27 21:43:12 2013 +0200
@@ -92,9 +92,6 @@
 # Where to look for docs (multiple dirs separated by ':').
 ISABELLE_DOCS="$ISABELLE_HOME/doc"
 
-# Preferred document format
-ISABELLE_DOC_FORMAT=pdf
-
 # PDF file viewer (command-line to eval)
 case "$ISABELLE_PLATFORM_FAMILY" in
   linux)