From bc99952263608512f6f1ed5c0d896c781fadabbd Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Sun, 9 May 2004 19:43:23 +0000 Subject: (check-texinfo): grep -w IO --- doc/Makefile.am | 1 + 1 file changed, 1 insertion(+) (limited to 'doc') diff --git a/doc/Makefile.am b/doc/Makefile.am index ad8e92b20..c6e8e262d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -30,6 +30,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-54-g00ecf