diff -r b20ac2c26ea3 -r c2ce9ac85859 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Apr 08 17:20:15 2023 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Apr 08 18:08:20 2023 +0200
@@ -53,7 +53,8 @@
           Build_Log.Identify.content(logger.start_date, Some(get_rev()), Some(get_afp_rev())))
 
         Isabelle_System.bash(
-          """rsync -a --include="*/" --include="plain_identify*" --exclude="*" """ +
+          File.bash_path(Component_Rsync.local_program) +
+            """ -a --include="*/" --include="plain_identify*" --exclude="*" """ +
             Bash.string(backup + "/log/.") + " " + File.bash_path(main_dir) + "/log/.").check
 
         if (!Isabelle_Devel.cronjob_log.is_file)
@@ -64,7 +65,8 @@
     Logger_Task("exit",
       { logger =>
         Isabelle_System.bash(
-          "rsync -a " + File.bash_path(main_dir) + "/log/." + " " + Bash.string(backup) + "/log/.")
+          File.bash_path(Component_Rsync.local_program) +
+            " -a " + File.bash_path(main_dir) + "/log/." + " " + Bash.string(backup) + "/log/.")
             .check
       })