--- a/src/Pure/build-jars Thu Nov 22 17:34:30 2018 +0100
+++ b/src/Pure/build-jars Thu Nov 22 17:34:37 2018 +0100
@@ -145,6 +145,7 @@
Tools/debugger.scala
Tools/doc.scala
Tools/dump.scala
+ Tools/fontforge.scala
Tools/imports.scala
Tools/main.scala
Tools/mkroot.scala