From: Matthias Maier Date: Sat, 16 Jun 2018 04:53:57 +0000 (-0500) Subject: Remove $ signs to indicate a prompt X-Git-Tag: v9.1.0-rc1~1022^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a609e7e58cc55b30791f321db6b2bc18b53ca2c;p=dealii.git Remove $ signs to indicate a prompt --- 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. #