src/Pure/Admin/build_history.scala

--- a/src/Pure/Admin/build_history.scala	Sat May 25 12:20:57 2024 +0200
+++ b/src/Pure/Admin/build_history.scala	Sat May 25 17:22:05 2024 +0200
@@ -167,7 +167,7 @@
 
     val isabelle_directory = directory(root)
     val (afp_directory, afp_build_args) =
-      if (afp) (Some(directory(root + Path.explode("AFP"))), List("-d", "~~/AFP/thys"))
+      if (afp) (Some(directory(root + Path.explode("AFP"))), List("-d", "~~/dirs/AFP/thys"))
       else (None, Nil)
 
 
@@ -548,7 +548,7 @@
     ): Unit = {
       Sync.sync(ssh.options, Rsync.Context(progress = progress, ssh = ssh), target,
         thorough = accurate, preserve_jars = !accurate,
-        rev = rev, afp_rev = afp_rev, afp_root = if (afp) afp_repos else None)
+        rev = rev, dirs = Sync.afp_dirs(if (afp) afp_repos else None, rev = afp_rev))
     }
 
     if (!shared_isabelle_self) sync(isabelle_self)