etc/options
changeset 52746 eec610972763
parent 52715 8979d830950b
child 52759 a20631db9c8a
     1.1 --- a/etc/options	Sat Jul 27 22:16:04 2013 +0200
     1.2 +++ b/etc/options	Sat Jul 27 22:20:25 2013 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4    -- "generate theory browser information"
     1.5  
     1.6  option document : string = ""
     1.7 -  -- "build document in given format: pdf, dvi, dvi.gz, ps, ps.gz, or false"
     1.8 +  -- "build document in given format: pdf, dvi, false"
     1.9  option document_output : string = ""
    1.10    -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)"
    1.11  option document_variants : string = "document"