Remove $ signs to indicate a prompt

diff --git a/contrib/utilities/indent b/contrib/utilities/indent
index afa726ce428fc9ef1f2ae51bc9ed76f5b8d03929..6ca8b382063d44d2e40a3cef8857d0108893daeb 100755 (executable)
--- a/contrib/utilities/indent
+++ b/contrib/utilities/indent
@@ -24,15 +24,15 @@
 # endings.
 #
 # The script needs to be executed as
-#   $ ./contrib/utilities/indent
+#   ./contrib/utilities/indent
 # from the top-level directory of the source tree, or via
-#   $ make indent
+#   make indent
 # from a build directory.
 #
 # Note: If the script is invoked with REPORT_ONLY=true set,
-#   $ REPORT_ONLY=true ./contrib/utilities/indent
+#   REPORT_ONLY=true ./contrib/utilities/indent
 # or,
-#   $ make REPORT_ONLY=true indent
+#   make REPORT_ONLY=true indent
 # then indentation errors will only be reported without any actual file
 # changes.
 #

diff --git a/contrib/utilities/indent-branch b/contrib/utilities/indent-branch
index e2bed13546257ec3f223bbfc070d36f89d8c4568..f5a66bec4592fcaa5e347e27444bd8e199880654 100755 (executable)
--- a/contrib/utilities/indent-branch
+++ b/contrib/utilities/indent-branch
@@ -20,15 +20,15 @@
 # staged/commited) since the last merge commit to the master branch.
 #
 # The script needs to be executed as
-#   $ ./contrib/utilities/indent-branch
+#   ./contrib/utilities/indent-branch
 # from the top-level directory of the source tree, or via
-#   $ make indent-branch
+#   make indent-branch
 # from a build directory.
 #
 # Note: If the script is invoked with REPORT_ONLY=true set,
-#   $ REPORT_ONLY=true ./contrib/utilities/indent-branch
+#   REPORT_ONLY=true ./contrib/utilities/indent-branch
 # or,
-#   $ make REPORT_ONLY=true indent-branch
+#   make REPORT_ONLY=true indent-branch
 # then indentation errors will only be reported without any actual file
 # changes.
 #