From c91687c1b7990e382ba008f6df0542ecba62a4fe Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sat, 4 Oct 2003 14:56:07 +0000
Subject: [PATCH] (parse_files): Choked on CVS, backup files, and more.  Fix to
 work only on *.t.  Closes #793707.

---
 info/info.pl | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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;
   }