src/Pure/Admin/isabelle_cronjob.scala

--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Mar 13 21:22:02 2018 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Mar 13 21:54:48 2018 +0100
@@ -7,6 +7,8 @@
 package isabelle
 
 
+import java.nio.file.Files
+
 import scala.annotation.tailrec
 import scala.collection.mutable
 
@@ -54,6 +56,9 @@
         Isabelle_System.bash(
           """rsync -a --include="*/" --include="plain_identify*" --exclude="*" """ +
             Bash.string(backup + "/log") + " " + File.bash_path(main_dir)).check
+
+        if (!Isabelle_Devel.cronjob_log.is_file)
+          Files.createSymbolicLink(Isabelle_Devel.cronjob_log.file.toPath, current_log.file.toPath)
       })
 
   val exit =