(check-texinfo): grep -w IO

diff --git a/doc/Makefile.am b/doc/Makefile.am
index ad8e92b20fb95b668e1e0196213bff3fce0c3a5c..c6e8e262db733f4f49f3350faca9909d997f4c5f 100644 (file)
--- 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; \