summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2004-05-09 19:43:23 +0000
committerJim Meyering <jim@meyering.net>2004-05-09 19:43:23 +0000
commitbc99952263608512f6f1ed5c0d896c781fadabbd (patch)
treeccf69a9973494c6d641e8fb6b6f51b443e65a858
parentd77d6d8b9ea93074e6fe504c3db367d905a1b756 (diff)
downloadcoreutils-bc99952263608512f6f1ed5c0d896c781fadabbd.tar.xz
(check-texinfo): grep -w IO
-rw-r--r--doc/Makefile.am1
1 files changed, 1 insertions, 0 deletions
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; \