Allow indentation of @DOCSTRING@

diff --git a/bin/bin/docstringer.pl b/bin/bin/docstringer.pl
index e9dcf7b110d7f980625605b70ddf222a30750bcb..95def27cae3354487d1cb366d393347306658d4c 100755 (executable)
--- a/bin/bin/docstringer.pl
+++ b/bin/bin/docstringer.pl
@@ -69,7 +69,7 @@ foreach my $fn (readdir $dir) {
     open(my $dst, ">:encoding(UTF-8)", "$docBuildDir/$fn") or
         die "can not open $docBuildDir/$fn";
     while(<$src>) {
-        ( print($dst $_) and next ) unless /^\@DOCSTRING (.*)\@$/;
+        ( print($dst $_) and next ) unless /^\s*\@DOCSTRING (.*)\@$/;
         print "\t$fn: $1\n" if $verbose;
         die "unable to find docstring: $1" unless defined $docstrings{$1};
         print $dst $docstrings{$1};