src/Pure/Tools/dump.scala

             args.write(Path.explode("messages.yxml"),
               args.snapshot.messages.iterator.map(_._1).toList)
         }),
       Aspect("latex", "generated LaTeX source",
         { case args =>
-            for (entry <- args.snapshot.exports if entry.name == "document.tex")
+            for (entry <- args.snapshot.exports if entry.name.startsWith("document/")) {
               args.write(Path.explode(entry.name), entry.uncompressed())
+            }
         }),
       Aspect("theory", "foundational theory content",
         { case args =>
             for {
               entry <- args.snapshot.exports