diff -r 57551ee13cfd -r fd87490429aa src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Tue Mar 07 22:21:48 2023 +0100
+++ b/src/Pure/System/components.scala	Tue Mar 07 22:28:48 2023 +0100
@@ -281,7 +281,7 @@
 
   /** build and publish components **/
 
-  def build_components(
+  def components_build(
     options: Options,
     components: List[Path],
     progress: Progress = new Progress,
@@ -401,7 +401,7 @@
     List("isabelle_components_server", "isabelle_components_dir", "isabelle_components_contrib_dir")
 
   val isabelle_tool =
-    Isabelle_Tool("build_components", "build and publish Isabelle components",
+    Isabelle_Tool("components_build", "build and publish Isabelle components",
       Scala_Project.here,
       { args =>
         var publish = false
@@ -413,7 +413,7 @@
           cat_lines(relevant_options.flatMap(options.get).map(_.print))
 
         val getopts = Getopts("""
-Usage: isabelle build_components [OPTIONS] ARCHIVES... DIRS...
+Usage: isabelle components_build [OPTIONS] ARCHIVES... DIRS...
 
   Options are:
     -P           publish on SSH server (see options below)
@@ -435,7 +435,7 @@
 
         val progress = new Console_Progress
 
-        build_components(options, more_args.map(Path.explode), progress = progress,
+        components_build(options, more_args.map(Path.explode), progress = progress,
           publish = publish, force = force, update_components_sha1 = update_components_sha1)
       })
 }