From b9d74188f255fb95da5df0d95d6280d806124902 Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sun, 9 May 2004 19:43:35 +0000 Subject: . --- doc/Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Makefile.in b/doc/Makefile.in index e0c4b34b1..91e6af1af 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -610,6 +610,7 @@ $(INFO_DEPS): $(EXTRA_DIST) check-texinfo: fail=0; \ grep timezone $(srcdir)/*.texi && fail=1; \ + grep -w IO $(srcdir)/*.texi && fail=1; \ grep non-zero $(srcdir)/*.texi && fail=1; \ grep -w NUL $(srcdir)/*.texi && fail=1; \ grep '\$$@"' $(srcdir)/*.texi && fail=1; \ -- cgit v1.2.3-70-g09d2