suppress build_log_snapshot: too bulky;

--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 23:00:23 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 02 10:12:26 2017 +0200
@@ -32,8 +32,6 @@
 
   val jenkins_jobs = List("isabelle-nightly-benchmark", "identify")
 
-  val build_log_snapshot = Path.explode("~/html-data/build_log.db")
-
 
 
   /** particular tasks **/
@@ -158,13 +156,6 @@
         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
-      })
   }