# HG changeset patch
# User wenzelm
# Date 1711289122 -3600
# Node ID f0150bc6fea5bb9bb0dfa1555bc95e113d166389
# Parent  773b99044329042e0b3000e5132c7da3784d2ebd
just one copy of darwin-universal.tar.gz;

diff -r 773b99044329 -r f0150bc6fea5 src/Pure/Admin/component_hugo.scala
--- a/src/Pure/Admin/component_hugo.scala	Sun Mar 24 14:51:03 2024 +0100
+++ b/src/Pure/Admin/component_hugo.scala	Sun Mar 24 15:05:22 2024 +0100
@@ -23,7 +23,6 @@
 
   val platforms: List[Download_Platform] =
     List(
-      Download_Platform("arm64-darwin", "hugo_extended_{V}_darwin-universal.tar.gz"),
       Download_Platform("arm64-linux", "hugo_extended_{V}_linux-arm64.tar.gz"),
       Download_Platform("x86_64-darwin", "hugo_extended_{V}_darwin-universal.tar.gz"),
       Download_Platform("x86_64-linux", "hugo_extended_{V}_linux-amd64.tar.gz"),
@@ -76,7 +75,7 @@
     /* settings */
 
     component_dir.write_settings("""
-ISABELLE_HUGO="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}}"
+ISABELLE_HUGO="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}"
 """)