src/Pure/Admin/build_status.scala
changeset 65836 3b4877fbd9cb
parent 65835 5ec497351636
child 65838 30c2d78b5d38
     1.1 --- a/src/Pure/Admin/build_status.scala	Sun May 14 21:34:36 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Sun May 14 21:54:35 2017 +0200
     1.3 @@ -203,7 +203,7 @@
     1.4      def clean_name(name: String): String =
     1.5        name.flatMap(c => if (c == ' ' || c == '/') "_" else if (c == ',') "" else c.toString)
     1.6  
     1.7 -    Isabelle_System.mkdirs(target_dir)
     1.8 +    HTML.init_dir(target_dir)
     1.9      File.write(target_dir + Path.basic("index.html"),
    1.10        HTML.output_document(
    1.11          List(HTML.title("Isabelle build status")),
    1.12 @@ -308,6 +308,7 @@
    1.13              }
    1.14            }, data_entry.sessions).toMap
    1.15  
    1.16 +      HTML.init_dir(dir)
    1.17        File.write(dir + Path.basic("index.html"),
    1.18          HTML.output_document(
    1.19            List(HTML.title("Isabelle build status for " + data_name)),