# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1681592521 -7200
# Node ID 21bb32a7fd58297b6b12f40c3b81373021e5e112
# Parent  a11e25bdd247d96a8dfe7a93d06201e918dcee50# Parent  30389d96d0d68894c974e00b5bad79ab0e583f49
merged

diff -r 30389d96d0d6 -r 21bb32a7fd58 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Sat Apr 15 15:19:58 2023 +0200
+++ b/src/Tools/Code/code_target.ML	Sat Apr 15 23:02:01 2023 +0200
@@ -311,9 +311,14 @@
   (case pretty_modules of
     Singleton (_, p) => Bytes.write root (format p)
   | Hierarchy code_modules =>
-      (Isabelle_System.make_directory root;
-        List.app (fn (names, p) =>
-          Bytes.write (Path.appends (root :: map Path.basic names)) (format p)) code_modules));
+     List.app (fn (names, p) =>
+       let
+         val segments = map Path.basic names;
+       in
+         Isabelle_System.make_directory (Path.appends (root :: (fst (split_last segments))));
+         Bytes.write (Path.appends (root :: segments)) (format p)
+       end)
+     code_modules);
 
 in