src/Pure/General/ssh.scala

--- a/src/Pure/General/ssh.scala	Sat Oct 03 23:01:40 2020 +0100
+++ b/src/Pure/General/ssh.scala	Mon Oct 05 21:15:58 2020 +0200
@@ -378,7 +378,7 @@
       try { sftp.lstat(remote_path(path)).isLink }
       catch { case _: SftpException => false }
 
-    override def mkdirs(path: Path): Unit =
+    override def make_directory(path: Path): Unit =
       if (!is_dir(path)) {
         execute(
           "perl -e \"use File::Path make_path; make_path('" + remote_path(path) + "');\"")
@@ -494,7 +494,7 @@
     def bash_path(path: Path): String = File.bash_path(path)
     def is_dir(path: Path): Boolean = path.is_dir
     def is_file(path: Path): Boolean = path.is_file
-    def mkdirs(path: Path): Unit = Isabelle_System.mkdirs(path)
+    def make_directory(path: Path): Unit = Isabelle_System.make_directory(path)
 
     def execute(command: String,
         progress_stdout: String => Unit = (_: String) => (),