diff -r 546e1e591635 -r 466fae6bf22e src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Tue May 25 21:44:01 2021 +0200
+++ b/src/Pure/Thy/document_build.scala	Tue May 25 22:28:39 2021 +0200
@@ -218,7 +218,8 @@
       for (name <- document_theories)
       yield {
         val path = Path.basic(tex_name(name))
-        val content = get_export(name.theory, document_tex_name(name)).uncompressed
+        val xml = YXML.parse_body(get_export(name.theory, document_tex_name(name)).text)
+        val content = Latex.output(xml, file_pos = name.path.implode_symbolic)
         Content(path, content)
       }