src/Pure/Tools/generated_files.ML

   in (map Path.explode_binding files, thy) end;
 
 fun write_file dir (file: file) =
   let
     val path = Path.expand (Path.append dir (#path file));
-    val _ = Isabelle_System.mkdirs (Path.dir path);
+    val _ = Isabelle_System.make_directory (Path.dir path);
     val _ = File.generate path (#content file);
   in () end;
 
 fun export_file thy (file: file) =
   Export.export thy (file_binding file) [XML.Text (#content file)];