etc/settings
changeset 52743 a7d69a11f395
parent 52550 09e52d4a850a
child 52746 eec610972763
     1.1 --- a/etc/settings	Sat Jul 27 21:21:47 2013 +0200
     1.2 +++ b/etc/settings	Sat Jul 27 21:43:12 2013 +0200
     1.3 @@ -92,9 +92,6 @@
     1.4  # Where to look for docs (multiple dirs separated by ':').
     1.5  ISABELLE_DOCS="$ISABELLE_HOME/doc"
     1.6  
     1.7 -# Preferred document format
     1.8 -ISABELLE_DOC_FORMAT=pdf
     1.9 -
    1.10  # PDF file viewer (command-line to eval)
    1.11  case "$ISABELLE_PLATFORM_FAMILY" in
    1.12    linux)