more markup (for batch build);

--- a/src/Pure/PIDE/resources.ML	Sun Aug 28 20:21:47 2022 +0200
+++ b/src/Pure/PIDE/resources.ML	Sun Aug 28 21:25:28 2022 +0200
@@ -330,6 +330,10 @@
           val pos = Input.pos_of source;
           val delimited = Input.is_delimited source;
           val src_paths = make_paths (Path.explode name);
+          val reports =
+            src_paths |> map (fn src_path =>
+              (pos, Markup.path (Path.implode_symbolic (master_dir + src_path))));
+          val _ = Position.reports reports;
         in map (Command.read_file master_dir pos delimited) src_paths end
     | files => map Exn.release files));