obsolete;

--- a/src/Pure/System/isabelle_system.ML	Sat Feb 27 17:32:02 2021 +0100
+++ b/src/Pure/System/isabelle_system.ML	Sat Feb 27 17:33:40 2021 +0100
@@ -13,7 +13,6 @@
   val check_bash_function: Proof.context -> string * Position.T -> string
   val rm_tree: Path.T -> unit
   val make_directory: Path.T -> Path.T
-  val mkdir: Path.T -> unit
   val copy_dir: Path.T -> Path.T -> unit
   val copy_file: Path.T -> Path.T -> unit
   val copy_file_base: Path.T * Path.T -> Path.T -> unit
@@ -80,9 +79,6 @@
 fun make_directory path =
   (Scala.function "make_directory" (Path.implode (File.absolute_path path)); path);
 
-fun mkdir path =
-  if File.is_dir path then () else OS.FileSys.mkDir (File.platform_path path);
-
 fun copy_dir src dst =
   if File.eq (src, dst) then ()
   else (system_command ("cp -p -R -f " ^ File.bash_path src ^ "/. " ^ File.bash_path dst); ());