summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2003-04-02 14:46:13 +0000
committerJim Meyering <jim@meyering.net>2003-04-02 14:46:13 +0000
commitec3a2e9ece2b6c7ce1999eb6a06c7a6dded92a78 (patch)
tree604750884428a27c1a2151b022a482f2f32e0a3e /doc
parent78fc3d5f9420c64d705ce17109a09f2bc4a587c4 (diff)
downloadcoreutils-ec3a2e9ece2b6c7ce1999eb6a06c7a6dded92a78.tar.xz
.
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 0aa592ecb..39a62402c 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -446,7 +446,7 @@ check-texinfo:
fail=0; \
grep timezone $(srcdir)/*.texi && fail=1; \
grep '\$$@"' $(srcdir)/*.texi && fail=1; \
- $(PERL) -e 1 && { $(PERL) -ne \
+ $(PERL) -e 1 2> /dev/null && { $(PERL) -ne \
'/\bPOSIX\b/ && !/\@acronym{POSIX}/ && !/^\* / || /{posix}/ and print,exit 1' \
$(srcdir)/*.texi 2> /dev/null || fail=1; }; \
exit $$fail