changeset 72375 | e48d93811ed7 |
parent 72050 | d4de7e4754d2 |
child 72511 | 460d743010bc |
--- a/src/Pure/Tools/generated_files.ML Sat Oct 03 23:01:40 2020 +0100 +++ b/src/Pure/Tools/generated_files.ML Mon Oct 05 21:15:58 2020 +0200 @@ -147,7 +147,7 @@ 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;