From: Wolfgang Bangerth 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=446ec736953bff1406f29b53b29bcb4456111e99;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