src/Pure/Admin/build_history.scala

       directory
     }
 
     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)
 
 
     /* main */
 

     def sync(target: Path, accurate: Boolean = false,
       rev: String = "", afp_rev: String = "", afp: Boolean = false
     ): 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)
 
     val self_isabelle =