(check-texinfo): Adapt to reflect that now we use @acronym{POSIX}.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index cbf9dcedad1d4da4b098e04b0f0471c55e390355..cf43a279da64a43877cf0de02123b3dd70f1898f 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -31,6 +31,7 @@ $(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 2> /dev/null && exit 1 || :
+       perl -ne '/\bPOSIX\b/i && !/\@acronym{POSIX}/ and print,exit 1' \
+         $(srcdir)/*.texi 2> /dev/null && : || exit 1
 
 check: check-texinfo