src/Pure/build-jars

--- a/src/Pure/build-jars	Mon May 08 11:33:04 2017 +0200
+++ b/src/Pure/build-jars	Mon May 08 12:04:58 2017 +0200
@@ -22,6 +22,7 @@
   Admin/check_sources.scala
   Admin/ci_profile.scala
   Admin/isabelle_cronjob.scala
+  Admin/isabelle_devel.scala
   Admin/jenkins.scala
   Admin/news.scala
   Admin/other_isabelle.scala