diff -r 450e06dabdd9 -r f88bae1922c4 src/Pure/build-jars
--- a/src/Pure/build-jars	Thu Oct 13 12:04:48 2016 +0200
+++ b/src/Pure/build-jars	Thu Oct 13 12:13:43 2016 +0200
@@ -17,6 +17,7 @@
   Admin/ci_api.scala
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
+  Admin/other_isabelle.scala
   Admin/remote_dmg.scala
   Concurrent/consumer_thread.scala
   Concurrent/counter.scala