diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/spec/proposals/reindex.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/spec/proposals/reindex.pl b/doc/spec/proposals/reindex.pl index c5ca20ab1..9053ba027 100755 --- a/doc/spec/proposals/reindex.pl +++ b/doc/spec/proposals/reindex.pl @@ -21,6 +21,7 @@ for my $f (@files) { my $num = substr($f, 0, 3); my $status = undef; my $title = undef; + if ($f !~ /\.txt/) { print "$f doesn't end with .txt\n"; } open(F, "$f"); while (<F>) { last if (/^\s*$/); |