From 446ec736953bff1406f29b53b29bcb4456111e99 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 6 Apr 2018 22:41:44 -0600 Subject: [PATCH] Extend documentation of contrib/utilities/setup_astyle.sh. --- contrib/utilities/setup_astyle.sh | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.39.5