
diff -r 4c8295f2f849 -r e48d93811ed7 src/Doc/Codegen/Introduction.thy
--- a/src/Doc/Codegen/Introduction.thy	Sat Oct 03 23:01:40 2020 +0100
+++ b/src/Doc/Codegen/Introduction.thy	Mon Oct 05 21:15:58 2020 +0200
@@ -3,7 +3,7 @@
 begin (*<*)
 
 ML \<open>
-  Isabelle_System.mkdirs (File.tmp_path (Path.basic "examples"))
+  Isabelle_System.make_directory (File.tmp_path (Path.basic "examples"))
 \<close> (*>*)
 
 section \<open>Introduction\<close>




