(check-texinfo): Check for the above.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index eb0404ff15beffe8273537457eb5935ca56e3384..decb7d82cdcdeb4d019a4a47586c914d29b138c9 100644 (file)
--- 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