# HG changeset patch
# User wenzelm
# Date 1653838663 -7200
# Node ID 904607aedc4b38ebeb714849eb62bf54c87a6afb
# Parent  1f0016095195fcba99d4c4c7c857182194992606
omit pointless option;

diff -r 1f0016095195 -r 904607aedc4b src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun May 29 17:26:38 2022 +0200
+++ b/src/Pure/Admin/build_release.scala	Sun May 29 17:37:43 2022 +0200
@@ -412,7 +412,7 @@
 
       Isabelle_System.new_directory(context.dist_dir)
 
-      hg.archive(context.isabelle_dir.expand.implode, rev = id, options = "--type files")
+      hg.archive(context.isabelle_dir.expand.implode, rev = id)
 
       for (name <- List(".hg_archival.txt", ".hgtags", ".hgignore", "README_REPOSITORY")) {
         (context.isabelle_dir + Path.explode(name)).file.delete