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"