.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index e0c4b34b1b82dd0b105827d579b83ef1972282c5..91e6af1afc6db4838316e64cce8a9a0f408ac82d 100644 (file)
--- 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; \