--- a/src/Pure/build-jars Thu Nov 22 20:23:47 2018 +0100
+++ b/src/Pure/build-jars Thu Nov 22 23:11:12 2018 +0100
@@ -147,6 +147,7 @@
Tools/dump.scala
Tools/fontforge.scala
Tools/imports.scala
+ Tools/isabelle_fonts.scala
Tools/main.scala
Tools/mkroot.scala
Tools/print_operation.scala