src/Pure/Build/build.scala

--- a/src/Pure/Build/build.scala	Sat Nov 09 16:39:33 2024 +0100
+++ b/src/Pure/Build/build.scala	Sat Nov 09 21:34:38 2024 +0100
@@ -764,7 +764,7 @@
 
       val doc_blobs = Document.Blobs.make(blobs)
 
-      Document.State.init.snippet(command, doc_blobs)
+      Document.State.init.snippet(List(command), doc_blobs)
     }
   }