From: Jan Philipp Thiele <thiele@wias-berlin.de>
Date: Fri, 29 Sep 2023 15:39:48 +0000 (+0200)
Subject: Fix .pl extensions in copyright update script
X-Git-Tag: relicensing~443^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F16055%2Fhead;p=dealii.git

Fix .pl extensions in copyright update script
---

diff --git a/contrib/utilities/update-copyright.sh b/contrib/utilities/update-copyright.sh
index 2057db35ed..8086458f88 100755
--- a/contrib/utilities/update-copyright.sh
+++ b/contrib/utilities/update-copyright.sh
@@ -31,7 +31,7 @@ files="
          contrib/python-bindings/*/*.{h,cc,py} \
          contrib/utilities/{update-copyright,indent} \
          doc/doxygen/*/*.{h,h.in} \
-         doc/doxygen/scripts/{create_anchors,filter,intro2toc,program*,*.pl} \
+         doc/doxygen/scripts/*.pl \
          doc/screen.css)
   $(find include/ source/ examples/ | egrep '\.(h|in|cc|cu)$')
   $(find cmake/ | egrep '\.(cmake|in|cc)$')