# HG changeset patch
# User wenzelm
# Date 1343120562 -7200
# Node ID 07f752935ececd6933e2210dcae5f8c5033ffeec
# Parent  424fd5364f1597ecb4c1ab3ba334cf576a6bf8cf
added "browser_info_remote" (cf. usedir -P);

diff -r 424fd5364f15 -r 07f752935ece etc/options
--- a/etc/options	Tue Jul 24 10:58:43 2012 +0200
+++ b/etc/options	Tue Jul 24 11:02:42 2012 +0200
@@ -1,6 +1,7 @@
 (* :mode=isabelle-options: *)
 
 declare browser_info : bool = false
+declare browser_info_remote : string = ""
 
 declare document : string = ""
 declare document_variants : string = document
diff -r 424fd5364f15 -r 07f752935ece src/Pure/System/build.ML
--- a/src/Pure/System/build.ML	Tue Jul 24 10:58:43 2012 +0200
+++ b/src/Pure/System/build.ML	Tue Jul 24 11:02:42 2012 +0200
@@ -43,7 +43,7 @@
         parent base_name
         (true (* FIXME copy document/ files on Scala side!? *),
           Options.string options "document_dump")
-        ""
+        (Options.string options "browser_info_remote")
         verbose;
 
     val _ = Session.with_timing name timing (List.app (uncurry use_theories)) theories;