summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2002-07-19 19:42:31 +0000
committerJim Meyering <jim@meyering.net>2002-07-19 19:42:31 +0000
commit4a8560e2a0b94d2812e8b1cf3fe68dad5e84a362 (patch)
treef23c4f924496958f09517729939915b4b8a46025 /doc
parentd4439bcbf474d396f1aac4351c0eb9876522a198 (diff)
downloadcoreutils-4a8560e2a0b94d2812e8b1cf3fe68dad5e84a362.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 6849e493e..741ecab98 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -392,7 +392,7 @@ $(INFO_DEPS): $(EXTRA_DIST)
check-texinfo:
grep timezone $(srcdir)/*.texi && exit 1 || :
grep '\$$@"' $(srcdir)/*.texi && exit 1 || :
- @PERL@ -ne \
+ $(PERL) -ne \
'/\bPOSIX\b/ && !/\@acronym{POSIX}/ || /{posix}/ and print,exit 1' \
$(srcdir)/*.texi 2> /dev/null && : || exit 1