From e289e5c881d9e02429eee68431f0ce98cf57d32e Mon Sep 17 00:00:00 2001 From: Jim Meyering Date: Mon, 8 Jul 2002 07:08:59 +0000 Subject: [PATCH] (check-texinfo): Check for the above. --- doc/Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Makefile.am b/doc/Makefile.am index eb0404f..decb7d8 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -31,6 +31,7 @@ $(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 \ '/\bPOSIX\b/ && !/\@acronym{POSIX}/ || /{posix}/ and print,exit 1' \ $(srcdir)/*.texi 2> /dev/null && : || exit 1 -- 2.7.4