From: Will Estes <wlestes@users.sourceforge.net>
Date: Tue, 13 Feb 2007 14:48:16 +0000 (+0000)
Subject: remove texinfo.tex from cvs tree
X-Git-Tag: flex-2-5-34~61
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=095220f4b1e619f92544d83c2452106cacc7bbb2;p=flex

remove texinfo.tex from cvs tree
---

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 2fddf9b..c74bc7b 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -26,3 +26,4 @@ mdate-sh
 stamp-*
 version.texi
 flex.html
+texinfo.tex