From: Matthias Maier <tamiko@43-1.org>
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.
 #