summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am
index ef6ecc2a9..6817e4fe5 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -32,7 +32,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