proper usage;
authorwenzelm
Mon, 28 Jun 2021 18:10:06 +0200
changeset 74155 d7ac039421ec
parent 74154 eb7655fcb090
child 74156 b709faa96586
proper usage;
src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Jun 28 14:43:33 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon Jun 28 18:10:06 2021 +0200
@@ -861,7 +861,7 @@
       var rev = ""
 
       val getopts = Getopts("""
-Usage: Admin/build_release [OPTIONS] BASE_DIR
+Usage: Admin/build_release [OPTIONS]
 
   Options are:
     -A REV       corresponding AFP changeset id