.

1 files changed, 6 insertions, 4 deletions

diff --git a/doc/Makefile.in b/doc/Makefile.in
index b070f5bc8..0aa592ecb 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -443,11 +443,13 @@ $(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 '\$$@"' $(srcdir)/*.texi && exit 1 || :
-	$(PERL) -ne \
+	fail=0; \
+	grep timezone $(srcdir)/*.texi && fail=1; \
+	grep '\$$@"' $(srcdir)/*.texi && fail=1; \
+	$(PERL) -e 1 && { $(PERL) -ne \
 	  '/\bPOSIX\b/ && !/\@acronym{POSIX}/ && !/^\* / || /{posix}/ and print,exit 1' \
-	  $(srcdir)/*.texi 2> /dev/null && : || exit 1
+	  $(srcdir)/*.texi 2> /dev/null || fail=1; }; \
+	exit $$fail
 
 check: check-texinfo
 # Tell versions [3.59,3.63) of GNU make to not export all variables.