etc/options
changeset 48805 c3ea910b3581
parent 48795 bece259ee055
child 49270 e5d162d15867
     1.1 --- a/etc/options	Tue Aug 14 13:40:49 2012 +0200
     1.2 +++ b/etc/options	Tue Aug 14 15:42:58 2012 +0200
     1.3 @@ -5,7 +5,9 @@
     1.4  
     1.5  option document : string = ""
     1.6    -- "build document in given format: pdf, dvi, dvi.gz, ps, ps.gz, or false"
     1.7 -option document_variants : string = "outline=/proof,/ML"
     1.8 +option document_output : string = ""
     1.9 +  -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)"
    1.10 +option document_variants : string = "document"
    1.11    -- "option alternative document variants (separated by colons)"
    1.12  option document_graph : bool = false
    1.13    -- "generate session graph image for document"