--- a/src/Pure/build-jars Sun May 06 23:01:45 2018 +0200
+++ b/src/Pure/build-jars Sun May 06 23:03:08 2018 +0200
@@ -129,6 +129,7 @@
System/system_channel.scala
System/tty_loop.scala
Thy/bibtex.scala
+ Thy/export.scala
Thy/html.scala
Thy/latex.scala
Thy/present.scala