From: Timo Heister Date: Fri, 8 May 2020 18:19:16 +0000 (-0400) Subject: modify script X-Git-Tag: v9.2.0-rc1~70^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=81a4ec377c8a50ea2b865ef1b909ab944596c558;p=dealii.git modify script do not use the words in this commit --- diff --git a/contrib/utilities/update-copyright b/contrib/utilities/update-copyright index a227d9203a..b29a2d7364 100755 --- a/contrib/utilities/update-copyright +++ b/contrib/utilities/update-copyright @@ -17,7 +17,7 @@ # Purpose: Update the copyright year of every file based on the last # modification recorded in the git logs - +# if test ! -d source -o ! -d include -o ! -d examples ; then echo "*** This script must be run from the top-level directory of deal.II."