src/Pure/build-jars

--- a/src/Pure/build-jars	Fri Nov 23 22:05:14 2018 +0100
+++ b/src/Pure/build-jars	Fri Nov 23 22:55:08 2018 +0100
@@ -22,6 +22,7 @@
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
   Admin/isabelle_devel.scala
+  Admin/isabelle_fonts.scala
   Admin/jenkins.scala
   Admin/other_isabelle.scala
   Admin/remote_dmg.scala
@@ -147,7 +148,6 @@
   Tools/dump.scala
   Tools/fontforge.scala
   Tools/imports.scala
-  Tools/isabelle_fonts.scala
   Tools/main.scala
   Tools/mkroot.scala
   Tools/print_operation.scala