From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sat, 7 Apr 2018 04:41:44 +0000 (-0600)
Subject: Extend documentation of contrib/utilities/setup_astyle.sh.
X-Git-Tag: v9.0.0-rc1~206^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6190%2Fhead;p=dealii.git

Extend documentation of contrib/utilities/setup_astyle.sh.
---

diff --git a/contrib/utilities/setup_astyle.sh b/contrib/utilities/setup_astyle.sh
index 2c29ded938..e9296a16b1 100755
--- a/contrib/utilities/setup_astyle.sh
+++ b/contrib/utilities/setup_astyle.sh
@@ -19,6 +19,12 @@
 # The installed binary is used in the 'indent' script in case astyle is
 # installed by this script.
 #
+# This script only works on Linux, and also puts the 'astyle'
+# executable into a very specific place. This is not a general purpose
+# solution. A better solution is to essentially execute the commands
+# below in a shell and make sure that the executable is installed into
+# a central directory -- say, /usr/bin or /usr/local/bin.
+#
 
 PRG=$PWD/programs