diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-10-27 21:29:46 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-10-27 21:29:46 +0000 |
| commit | 23235365f13694adad5c9d34ac03608a9d43e822 (patch) | |
| tree | 72e30d4a1cb083ea1f5c5a15aecd824fbe2b88ba /doc | |
| parent | Spacing. (diff) | |
| download | rtems-23235365f13694adad5c9d34ac03608a9d43e822.tar.bz2 | |
Minor change to ease debugging.
Diffstat (limited to 'doc')
| -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); |