Cope with CVS weird way to report warnings.

[bison.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 5d7a1aeb0bd0c32c81ba25b7a14b8818d60b65ec..ccaa5b101b0116c6ec0d84a5c0f8c1a2f64d9f53 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -114,8 +114,7 @@ man1dir = $(mandir)/man1
 MANS = $(man_MANS)
 
 NROFF = nroff
-DIST_COMMON =  Makefile.am Makefile.in mdate-sh stamp-vti texinfo.tex \
-version.texi
+DIST_COMMON =  Makefile.am Makefile.in mdate-sh stamp-vti version.texi
 
 
 DISTFILES = $(DIST_COMMON) $(SOURCES) $(HEADERS) $(TEXINFOS) $(EXTRA_DIST)