src/Pure/Tools/dump.scala

--- a/src/Pure/Tools/dump.scala	Sun Jun 24 15:57:48 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sun Jun 24 22:13:23 2018 +0200
@@ -56,7 +56,7 @@
         { case args =>
             for (entry <- args.snapshot.exports if entry.name == "document.tex")
               args.write(Path.explode(entry.name), entry.uncompressed())
-        }, options = List("editor_presentation")),
+        }, options = List("editor_presentation", "export_document")),
       Aspect("theory", "foundational theory content",
         { case args =>
             for {