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