--- a/src/Pure/build-jars Sun Nov 12 12:55:10 2017 +0100
+++ b/src/Pure/build-jars Sun Nov 12 13:19:00 2017 +0100
@@ -130,6 +130,7 @@
Thy/sessions.scala
Thy/thy_document_model.scala
Thy/thy_header.scala
+ Thy/thy_resources.scala
Thy/thy_syntax.scala
Tools/bibtex.scala
Tools/build.scala