src/Pure/System/build.ML
changeset 48463 07f752935ece
parent 48462 424fd5364f15
child 48464 a7bf1587eba0
     1.1 --- a/src/Pure/System/build.ML	Tue Jul 24 10:58:43 2012 +0200
     1.2 +++ b/src/Pure/System/build.ML	Tue Jul 24 11:02:42 2012 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4          parent base_name
     1.5          (true (* FIXME copy document/ files on Scala side!? *),
     1.6            Options.string options "document_dump")
     1.7 -        ""
     1.8 +        (Options.string options "browser_info_remote")
     1.9          verbose;
    1.10  
    1.11      val _ = Session.with_timing name timing (List.app (uncurry use_theories)) theories;