src/Pure/build-jars
changeset 69339 6baa37cbf70b
parent 69338 0e3e66197a18
child 69355 cdc2de88d657
     1.1 --- a/src/Pure/build-jars	Fri Nov 23 22:55:08 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Sat Nov 24 15:03:42 2018 +0100
     1.3 @@ -12,6 +12,7 @@
     1.4    Admin/afp.scala
     1.5    Admin/build_cygwin.scala
     1.6    Admin/build_doc.scala
     1.7 +  Admin/build_fonts.scala
     1.8    Admin/build_history.scala
     1.9    Admin/build_jdk.scala
    1.10    Admin/build_log.scala
    1.11 @@ -22,7 +23,6 @@
    1.12    Admin/ci_profile.scala
    1.13    Admin/isabelle_cronjob.scala
    1.14    Admin/isabelle_devel.scala
    1.15 -  Admin/isabelle_fonts.scala
    1.16    Admin/jenkins.scala
    1.17    Admin/other_isabelle.scala
    1.18    Admin/remote_dmg.scala