author | wenzelm |
Wed, 23 Mar 2022 11:40:34 +0100 | |
changeset 75308 | 6ed34e2e04dd |
parent 75307 | dc1c53d14c38 |
child 75309 | 216c2ac23a84 |
--- a/Admin/lib/Tools/build_setup Tue Mar 22 20:25:52 2022 +0100 +++ b/Admin/lib/Tools/build_setup Wed Mar 23 11:40:34 2022 +0100 @@ -11,7 +11,7 @@ function usage() { echo - echo "Usage: isabelle $PRG [OPTIONS] COMPONENT_DIR" + echo "Usage: isabelle $PRG COMPONENT_DIR" echo echo " Build component for Isabelle/Java setup tool." echo