--- a/src/Pure/Tools/mkroot.scala Sat Oct 03 23:01:40 2020 +0100
+++ b/src/Pure/Tools/mkroot.scala Mon Oct 05 21:15:58 2020 +0200
@@ -27,7 +27,7 @@
author: String = "",
progress: Progress = new Progress)
{
- Isabelle_System.mkdirs(session_dir)
+ Isabelle_System.make_directory(session_dir)
val name = proper_string(session_name) getOrElse session_dir.absolute_file.getName
val parent = proper_string(session_parent) getOrElse Isabelle_System.getenv("ISABELLE_LOGIC")
@@ -67,7 +67,7 @@
{
progress.echo(" creating " + root_tex)
- Isabelle_System.mkdirs(root_tex.dir)
+ Isabelle_System.make_directory(root_tex.dir)
File.write(root_tex,
"""\documentclass[11pt,a4paper]{article}