# HG changeset patch
# User wenzelm
# Date 1614423099 -3600
# Node ID f73c691bd6796c38d4f48e21659a4c5e752a6b45
# Parent  c8e317a4c905df9530af6b7f429ef1e7fc35bade
clarified message;

diff -r c8e317a4c905 -r f73c691bd679 lib/Tools/components
--- a/lib/Tools/components	Fri Feb 26 11:46:58 2021 +0100
+++ b/lib/Tools/components	Sat Feb 27 11:51:39 2021 +0100
@@ -19,8 +19,8 @@
   echo "    -R URL       component repository (default \$ISABELLE_COMPONENT_REPOSITORY)"
   echo "    -a           resolve all missing components"
   echo "    -l           list status"
-  echo "    -u DIR       update \$ISABELLE_HOME_USER/components: add directory"
-  echo "    -x DIR       update \$ISABELLE_HOME_USER/components: remove directory"
+  echo "    -u DIR       update \$ISABELLE_HOME_USER/etc/components: add directory"
+  echo "    -x DIR       update \$ISABELLE_HOME_USER/etc/components: remove directory"
   echo
   echo "  Resolve Isabelle components via download and installation: given COMPONENTS"
   echo "  are identified via base name. Further operations manage etc/settings and"