Configurable file extensions

diff --git a/bin/bin/docstringer.pl b/bin/bin/docstringer.pl
index 95def27cae3354487d1cb366d393347306658d4c..2de9a0e10331742e336653bac64af3d979dd2926 100755 (executable)
--- a/bin/bin/docstringer.pl
+++ b/bin/bin/docstringer.pl
@@ -27,6 +27,7 @@ if ($ARGV[0] eq "-v") {
 my @srcDirs = split / /, $ARGV[0];
 my $docDir = $ARGV[1];
 my $docBuildDir = $ARGV[2];
+my @exts = split / /, defined $ENV{EXTS} ? $ENV{EXTS} : "c h h.in";
 
 my %docstrings;
 
@@ -34,7 +35,7 @@ foreach my $srcDir (@srcDirs) {
     print "src: $srcDir\n" if $verbose;
     opendir(my $dir, $srcDir) or die "can not open $srcDir";
     foreach my $fn (readdir $dir) {
-        next unless $fn =~ /\.[ch]$/;
+        next unless grep { $fn =~ /\.$_$/ } @exts;
         open(my $src, "<:encoding(UTF-8)", "$srcDir/$fn") or
             die "can not open $srcDir/$fn";
         my $curEntry;