diff -r f033d4f661e9 -r f8f065e20837 src/Pure/Admin/isabelle_devel.scala
--- a/src/Pure/Admin/isabelle_devel.scala	Tue May 04 12:54:54 2021 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Tue May 04 20:02:08 2021 +0200
@@ -34,22 +34,19 @@
 
   /* release snapshot */
 
-  def release_snapshot(
-    options: Options,
-    rev: String = "",
-    afp_rev: String = "",
-    parallel_jobs: Int = 1): Unit =
+  def release_snapshot(options: Options, rev: String, afp_rev: String): Unit =
   {
     Isabelle_System.with_tmp_dir("isadist")(target_dir =>
       {
         Isabelle_System.update_directory(root + Path.explode(RELEASE_SNAPSHOT),
           website_dir =>
-            Build_Release.build_release(options, target_dir = target_dir,
-              rev = rev,
-              afp_rev = afp_rev,
-              parallel_jobs = parallel_jobs,
-              build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
-              website = Some(website_dir)))
+        {
+          val context = Build_Release.Release_Context(target_dir)
+          val release_archive = Build_Release.build_release_archive(context, rev)
+          Build_Release.build_release(options, context, release_archive, afp_rev = afp_rev,
+            build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
+            website = Some(website_dir))
+        })
       })
   }