(check-texinfo): Redirect stderr of `grep -w' to

/dev/null, so people with old versions of grep don't see the failure.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 3526bf5..cbf9dce 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -31,6 +31,6 @@ $(INFO_DEPS): $(EXTRA_DIST)
 # List words/regexps here that should not appear in the texinfo documentation.
 check-texinfo:
        grep timezone $(srcdir)/*.texi && exit 1 || :
-       grep -w POSIX $(srcdir)/*.texi && exit 1 || :
+       grep -w POSIX $(srcdir)/*.texi 2> /dev/null && exit 1 || :
 
 check: check-texinfo