--- a/src/Pure/Tools/build.scala Mon Jan 14 21:37:42 2013 +0100
+++ b/src/Pure/Tools/build.scala Mon Jan 14 22:24:57 2013 +0100
@@ -424,7 +424,7 @@
// global browser info dir
if (info.options.bool("browser_info") && !(browser_info + Path.explode("index.html")).is_file)
{
- browser_info.file.mkdirs()
+ Isabelle_System.mkdirs(browser_info)
File.copy(Path.explode("~~/lib/logo/isabelle.gif"),
browser_info + Path.explode("isabelle.gif"))
File.write(browser_info + Path.explode("index.html"),
@@ -614,7 +614,7 @@
}
// prepare log dir
- (output_dir + LOG).file.mkdirs()
+ Isabelle_System.mkdirs(output_dir + LOG)
// optional cleanup
if (clean_build) {