]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix .pl extensions in copyright update script 16055/head
authorJan Philipp Thiele <thiele@wias-berlin.de>
Fri, 29 Sep 2023 15:39:48 +0000 (17:39 +0200)
committerJan Philipp Thiele <thiele@wias-berlin.de>
Fri, 29 Sep 2023 15:39:48 +0000 (17:39 +0200)
contrib/utilities/update-copyright.sh

index 2057db35ed3be568ff854c8274bb5d9b127795c8..8086458f888f1959819604ba5214d530205bd0c8 100755 (executable)
@@ -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)$')

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.