diff options
| -rw-r--r-- | doc/tools/texi2www/texi2dvi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/tools/texi2www/texi2dvi b/doc/tools/texi2www/texi2dvi index cad99bef53..913904a921 100644 --- a/doc/tools/texi2www/texi2dvi +++ b/doc/tools/texi2www/texi2dvi @@ -94,7 +94,9 @@ foreach $raw_texi (@ARGV) { opendir(DIR,".") || die "Couldn't read current directory -- $!\n"; @possible_index_files = (); while ($_ = readdir(DIR)) { - push(@possible_index_files,$_) if (/^$base\...$/); + if (/^$base\...$/) { + push(@possible_index_files,$_); + } } closedir(DIR); |