diff --git a/info/info.pl b/info/info.pl
index 1b51ba4b..91610cd8 100644
--- 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;
   }