src/Pure/Admin/build_release.scala

     Isabelle_System.with_tmp_file("archive", ext = "tar.gz")(archive_path =>
     {
       Bytes.write(archive_path, archive.bytes)
       val extract =
         List("README", "NEWS", "ANNOUNCE", "COPYRIGHT", "CONTRIBUTORS", "doc").
-          map(name => context.release_name + "/" + name)
+          map(name => context.dist_name + "/" + name)
       execute_tar(context.dist_dir,
         "-xzf " + File.bash_path(archive_path) + " " + Bash.strings(extract))
     })
 
     Isabelle_System.symlink(Path.explode(context.dist_name), context.dist_dir + ISABELLE)