# HG changeset patch
# User wenzelm
# Date 1493890292 -7200
# Node ID 4326b165b401ef37dc3aa3efaa37960d8a61060a
# Parent  1626b73daccf039faa70e795567ef693d0cba014
clarified directory layout;

diff -r 1626b73daccf -r 4326b165b401 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Thu May 04 11:06:48 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu May 04 11:31:32 2017 +0200
@@ -28,9 +28,9 @@
   val isabelle_release_source = "http://bitbucket.org/isabelle_project/isabelle-release"
   val afp_source = "https://bitbucket.org/isa-afp/afp-devel"
 
-  val release_snapshot = Path.explode("~/html-data/release_snapshot")
-
-  val build_log_snapshot = Path.explode("~/html-data/build_log.db")
+  val devel_dir = Path.explode("~/html-data/devel")
+  val release_snapshot = devel_dir + Path.explode("release_snapshot")
+  val build_log_snapshot = devel_dir + Path.explode("build_log.db")
 
   val jenkins_jobs = List("isabelle-nightly-benchmark", "identify")