diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 10 |
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. |