--- 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); ());