--- a/src/Pure/build-jars Wed Nov 07 14:06:43 2018 +0100
+++ b/src/Pure/build-jars Wed Nov 07 21:42:16 2018 +0100
@@ -131,6 +131,7 @@
Thy/bibtex.scala
Thy/export.scala
Thy/export_theory.scala
+ Thy/file_format.scala
Thy/html.scala
Thy/latex.scala
Thy/present.scala