From 4a609e7e58cc55b30791f321db6b2bc18b53ca2c Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Fri, 15 Jun 2018 23:53:57 -0500 Subject: [PATCH] Remove $ signs to indicate a prompt --- contrib/utilities/indent | 8 ++++---- contrib/utilities/indent-branch | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/contrib/utilities/indent b/contrib/utilities/indent index afa726ce42..6ca8b38206 100755 --- 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 e2bed13546..f5a66bec45 100755 --- 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. # -- 2.39.5