From da78f3640cc0c43c2bd6443a22bc2dcd1b3b4fb4 Mon Sep 17 00:00:00 2001 From: Jan Philipp Thiele Date: Fri, 29 Sep 2023 17:39:48 +0200 Subject: [PATCH] Fix .pl extensions in copyright update script --- contrib/utilities/update-copyright.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)$') -- 2.39.5