src/Pure/Admin/isabelle_cronjob.scala

   val afp_source = "https://bitbucket.org/isa-afp/afp-devel"
 
   val release_snapshot = Path.explode("~/html-data/release_snapshot")
 
   val jenkins_jobs = List("isabelle-nightly-benchmark", "identify")
-
-  val build_log_snapshot = Path.explode("~/html-data/build_log.db")
 
 
 
   /** particular tasks **/
 

     using(store.open_database())(db =>
       {
         store.write_info(db, files, ml_statistics = true)
         Build_Log.create_full_view(db)
       })
-
-    // SQLite file
-    using(SQLite.open_database(build_log_snapshot))(db =>
-      {
-        store.write_info(db, files)
-        db.rebuild
-      })
   }
 
 
 
   /** task logging **/