diff options
| author | Jim Meyering <jim@meyering.net> | 2004-05-09 19:43:23 +0000 |
|---|---|---|
| committer | Jim Meyering <jim@meyering.net> | 2004-05-09 19:43:23 +0000 |
| commit | bc99952263608512f6f1ed5c0d896c781fadabbd (patch) | |
| tree | ccf69a9973494c6d641e8fb6b6f51b443e65a858 | |
| parent | d77d6d8b9ea93074e6fe504c3db367d905a1b756 (diff) | |
| download | coreutils-bc99952263608512f6f1ed5c0d896c781fadabbd.tar.xz | |
(check-texinfo): grep -w IO
| -rw-r--r-- | doc/Makefile.am | 1 |
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; \ |