# HG changeset patch
# User wenzelm
# Date 1734373374 -3600
# Node ID a38e80897c345e8b66040600c99d7eb853bc7146
# Parent  f48597f265ffd35c9273a52dd4180f3de733466c
spelling;

diff -r f48597f265ff -r a38e80897c34 src/Pure/Admin/component_xz.scala
--- a/src/Pure/Admin/component_xz.scala	Mon Dec 16 19:09:14 2024 +0100
+++ b/src/Pure/Admin/component_xz.scala	Mon Dec 16 19:22:54 2024 +0100
@@ -79,7 +79,7 @@
     -U URL       download URL (default: """ + quote(default_download_url) + """)
     -V VERSION   version (default: """ + quote(default_version) + """)
 
-  Build zxz-java component from the specified download base URL and VERSION,
+  Build xz-java component from the specified download base URL and VERSION,
   see also """ + main_url + "\n",
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "S:" -> (arg => source_url = arg),