src/Pure/Admin/isabelle_cronjob.scala

--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 08 12:04:58 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Mon May 08 14:08:27 2017 +0200
@@ -39,6 +39,8 @@
   private val build_release =
     Logger_Task("build_release", logger =>
         {
+          Isabelle_Devel.make_index()
+
           val rev = Mercurial.repository(isabelle_repos).id()
           val afp_rev = Mercurial.setup_repository(afp_source, afp_repos).id()