summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2002-05-27 21:38:21 +0000
committerJim Meyering <jim@meyering.net>2002-05-27 21:38:21 +0000
commit0057fa16a41ca3ee9142afa07bf50fb8220f666c (patch)
tree17212f34d3683f5ff5c28c257852ff5b3c1f070e
parent924d623ac8313a651ffc62d94faf03dddb09c797 (diff)
downloadcoreutils-0057fa16a41ca3ee9142afa07bf50fb8220f666c.tar.xz
use a better test
-rw-r--r--doc/Makefile.am3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index cf43a279d..eb0404ff1 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -31,7 +31,8 @@ $(INFO_DEPS): $(EXTRA_DIST)
# List words/regexps here that should not appear in the texinfo documentation.
check-texinfo:
grep timezone $(srcdir)/*.texi && exit 1 || :
- perl -ne '/\bPOSIX\b/i && !/\@acronym{POSIX}/ and print,exit 1' \
+ @PERL@ -ne \
+ '/\bPOSIX\b/ && !/\@acronym{POSIX}/ || /{posix}/ and print,exit 1' \
$(srcdir)/*.texi 2> /dev/null && : || exit 1
check: check-texinfo