(parse_files): Choked on CVS, backup files, and more. Fix to work only on

*.t.  Closes #793707.

diff --git a/info/info.pl b/info/info.pl
index 1b51ba4be26310441734ffa3fd4064455f478fa7..91610cd80af7ca6ec10768b9975cd1f8a5c77954 100644 (file)
--- a/info/info.pl
+++ b/info/info.pl
@@ -133,13 +133,10 @@ sub parse_files {
     &error("Illegal filename (it is a type name).");
   }
 
-  open (LS, "ls $dir|");
+  open (LS, "cd $dir && ls *.t|");
 
   while (<LS>) {    
     chop;
-    next if /^GNUmakefile$/;
-    next if /^Makefile$/;
-    next if /^MakeSrcs$/;
     $filename = $_;
     &parse_file;
   }