From: Jan Philipp Thiele 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)$')