src/Pure/build-jars

--- a/src/Pure/build-jars	Fri Nov 23 22:55:08 2018 +0100
+++ b/src/Pure/build-jars	Sat Nov 24 15:03:42 2018 +0100
@@ -12,6 +12,7 @@
   Admin/afp.scala
   Admin/build_cygwin.scala
   Admin/build_doc.scala
+  Admin/build_fonts.scala
   Admin/build_history.scala
   Admin/build_jdk.scala
   Admin/build_log.scala
@@ -22,7 +23,6 @@
   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